Before I file this in bugzilla, can someone confirm that the "Launch help browser" keyboard shortcut is missing from gnome-keybinding-properties? Both my test3 machines are missing that configuration.