Abbreviation hover text

Whilst I can see this being useful for abbreviations such as AFAIK, for some of the abbreviations it does more harm than good.

Examples:

In one thread someone was talking about PR (public relations), which apparently means "Google Page Ranking". I've never seen anyone use "PR" as an abbreviation for Google Page Ranking.

In another thread someone mentioned JS Mill (John Stuart Mill), which apparently means JavaScript Mill. :roll:

wow, I never even knew that feature existed.