This is a fork of GNOME's mousetrap to support student development.