Restore the case-sensitive switch until I can come up with something more graceful on Ubuntu which doesn't have popovers because it sucks and ships old Gtk+