OP here. Weird; the top menu shouldn't be fixed. Which browser are you using?

severine · on April 5, 2022

Fixed menu for me, Firefox Nightly on Linux, with uBlock Origin.

Killed it instantly with the great AlwaysKillSticky add-on.

Great article, brings a lot of memories, thanks!

tmslnz · on April 5, 2022

The menu is not fixed for me, it scrolls with the rest. It’s just permanently “expanded” as a vertical stack, but perhaps that’s intentional. (iOS latest, iPhone 8)

bachmeier · on April 5, 2022

Chrome on a Chromebook