We shouldn't just make it short for shortness' own sake. I think the first version is pretty good, so I changed it back but removed the "in HTML" part.