UI tweak: logs you into github when you upvote, comment, or submit; also, partially working badge

and makes these things visible, even if you haven’t;