[rtpg]

In the settings you can make yourself anonymous instead of associated to your GH profile (see https://adventofcode.com/2020/settings).

I generally agree with the sentiment and the leaderboards themselves feel very silly.