A leaner, less annoyingly feature-packed Reddit.