ajaxorg/ace — pull request #1497 by danyaPostfactum (2013-06-30 15:52:03+00:00)
Title: HTML tag names and attribute names suggestion.

My attempt.