$PAGE->set_url() is already properly called by admin_externalpage_setup() with a required 'section' param included. We can't override the PAGE's URL and throw away the params set previously. This may be an issue at other external admin pages, too.
f60ecadf2c