On the plus side, they didn't break the scrolling.

Indeed! Shame, it's absolutely trivial to implement with a bit of JS.

Actually one could do it with pure css using ::target, but that would scroll the page back to the top every time.

This was the first thing I tried on the first CSS update to compare the changes. Still - a cool idea!