I have forgotten the registry edit to hide the options menu or general tab in Internet Explorer, either will do.