13:17:15 ​erc: https://github.com/monero-project/monero-gui/pull/4176 13:18:42 maybe I'm missing something obvious but why were translations removed for mining?