The Deprecated HTML Acronym Tag: an Example You Shouldn't Copy