For anyone else arriving here later,
If you check line 425 in options-page.php you’ll see it’s doing a bit more than that. It seems to be applying filters, checking for parent child redirects, returning false if there are no options pages, and finally returning all the pages.