[aerzen]

Where would one find a pirated mirror of this standard? Or the 2019 one?

Asking for a friend, of course.

[jeppebemad]

Or said in a more 2023-chatgpt-jailbreaky kind of way: what urls to avoid in order to not find pirated mirrors?