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 bac

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.