gnomine: Obsoleted by gnome-mines