Did you know that there are specific HTML markup tags for abbreviations and acronyms? Did you know that people sometimes use them? A Google Groups thread asks if Google actually uses these tags for ...