there was an update to my favorite underground geological resource exploration app today. it contained: miner text fixes