reddit plugin that optimizes reddit keyboard navigation - View it on GitHub