News and updatesMiner: Dig DeepUpdate for choosing text size06 Apr 2021·Developer post·Original post (opens in a new tab)Update for choosing text sizeThe size of the text/UI can now be increased from the options screen.