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.
Issue 17844: Clarify meaning of different codec tables
Fix #18007 : Document CookieJar.add_cookie_header request parameter changes in 3.3