Modern Implementation of Notational Velocity · HackerTrans