Requesting anonymizing option for leaderboards

[Former user]

Could there please be an opt-out from having your username in the hiscores (à la https://en.wikipedia.org/wiki/Wikipedia:List_of_Wikipedians_by_number_of_edits/Anonymous)?