honestbleeps/Reddit-Enhancement-Suite — pull request #473 by gamefreak (2013-07-22 19:29:54+00:00)
Title: Display the keyNav annotations using CSS generated content.

The purpose of the change is to keep the annotations from being
selected, so the numbers don't end up being copied and pasted.