Saddened by the redundancy of
@html5
. What was wrong with
@WHATWG
for commit tweets?