[TonyTrapp]

It would seem that GitHub is (was?) not doing that, though? Remember when they announced that they dropped the cookie banner because they didn't need it: https://github.blog/2020-12-17-no-cookie-for-you/