Changes since tag 1.42.1

commit 6cac41dd4a413e5eea1b633a4744cb5b59c30af2
Author: Hendrik Leppkes <h.leppkes@gmail.com>
Date:   Mon Jul 30 11:50:50 2018 +0200

    Add an alternative mining spell since the localization can vary depending on skill

commit f1846bd1bf951f9af26947b70e41c2a8a22bfccc
Author: Hendrik Leppkes <h.leppkes@gmail.com>
Date:   Sun Jul 22 00:57:18 2018 +0200

    Remove WorldMapButton use

