[docs] [issue18820] json.dump() ignores its 'default' option when serializing dictionary keys

Changes by Chris Rebert <pybugs@rebertia.com>: ---------- nosy: +cvrebert _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue18820> _______________________________________