reddit/reddit-plugin-about — pull request #3 by ajmint (2012-06-07 15:16:50+00:00)
Title: Give the dotted metric text with hover definitions a help cursor

...to make it clearer that hovering tells the user more about what the text means.