Update notes for submitted changes

* HTMLViewer: AST translations