Got rid of the reddit JS thingy.
1. It made the site slower to load due to loading the external JS.
2. Added a JS dependency.
3. Gave a lame feeling.
4. Slightly increased the page size.
So I don't think it's worth it. People who got to the page via Reddit will be
able to upvote.