To clarify, you're saying we should be jumping through convoluted hoops - full page navigation + js to rewrite history, all so that you can avoid a very minimal amount of js to show/hide a nav menu - for low intent people who are frequently entering tunnels?

Something like Datastar would enable this with like two html attributes, and only require 10kb of js (and would also allow for endless other things via declarative html).

https://data-star.dev/reference/attributes#data-show

> To clarify, you're saying we should be jumping through convoluted hoops

Good that you are asked. Did I say anything like that in my comment above?