A bug reporting tool for GNOME