Update notes for submitted changes

* LockClock: AST translations