Which file renders the “Edit Gallery” Settings page?

Browsing through the code at http://core.trac.wordpress.org/, it appears that the file you’re looking for is /wp-includes/media.php. I wouldn’t recommend editing core files, though; any updates you make would be clobbered in the next upgrade.