Issue #17532: Always include Options menu for IDLE on OS X.
Patch by Guilherme Sim?es.
Issue #18031:  %-formatting isn't dead yet and might pull through.