[22:50:49] <ori>	 https://phabricator.wikimedia.org/T55437 is kind of astonishing
[22:51:17] <ori>	 navboxes look bad on mobile, so hide navboxes on mobile