For what it's worth, I think having the anchors be always-visible when
CSS disabled is a feature. The content is still perfectly readable,
and the core feature from this patch is available. Introducing
JavaScript to lose that functionality seems like a step backwards.
By the way, the latest patch attachment was not the full patch series,
which I think confused cfbot: [1] (unless I'm misunderstanding the
state of the patch series).
And thanks for working on this. I've hunted in the page source for ids
to link to a number of times. I look forward to not doing that
anymore.
Thanks,
Maciek
[1]: https://commitfest.postgresql.org/42/4042/
