HTMLViewer: AST translations

Change-Id: If37866f83b65a6e952e15d2c848432d18ec2da9a