@mick-p on WordPress.org
Created ticket #18559 on Core Trac:Set_screen_options() ignores many page names. add_menu_page() and friends ...