GNOME Gets Formal, Public Usability Testing