[judge2020]

I think it was just forgotten about, it's been in the options page for a while (first archive snapshot is from december 18, 2018[0]).

0: https://web.archive.org/web/20181229093058/https://support.d...