@darius It’s almost funny: that vertical bar would be an excellent replacement for current menus on both the advanced and “simplified” desktop web UIs when you’ve got widescreens. It’s like they intentionally got mobile and desktop UX confused.

I was wondering myself if I could swap them in pure CSS or not. (Given my instance isn’t running a fork currently.)