“Does the minty pickaxe code still work as of October 24, 2020?”