Can't say I've noticed it, but then I'm going around with Javascript enabled, so it's not like I would. That said, the github one is a sort of interesting case

Can't say I've noticed it, but then I'm going around with Javascript enabled, so it's not like I would. That said, the github one is a sort of interesting case, insofar as they're doing it to avoid user-generated content clashing with their page-chrome ids... while still preserving a readable URI that matches what the content creator expects. Which doesn't seem like an unreasonable case, to me. You'll note that there is a real anchor on that link -- https://github.com/quiet/quiet#user-content-dependencies https://github.com/quiet/quiet#user-content-dependencies -- which works without Javascript. It's just rather inaccessible.