gnome-mines • man page