Hacker News Reader

You don't need to log out to enable extensions, just reload gnome shell. Press Alt-F2 and type 'r' without quotes.

I actually don't even need to do this, they just enable immediately. (Version 3.6.1, if that's relevant.)