Should I change them back? In any case, adding this to the HTML style guide would be a good idea.