[ python-Bugs-1190599 ] dir() docs show incorrect output

though not entirely how it's suggested in the bug report.