Good episode.
There’s a useful terminal command in this article that makes menu bar items more compact:
(via @Ojanostra )