HTMLViewer: AST translations

Change-Id: Id34b21f5f3ec6dad596aa1d2bafb3b4fbb22416c