Kyle Stanley <aeros167@gmail.com> added the comment:
I vote for #2. It improves findability while also recognizing that "dunder" isn't a formal term and lies somewhere between slang and jargon.
Yeah, I suppose it is a bit more of a slang or jargon term rather than something with a formal definition, so (2) is fine with me. Thanks for the feedback. I'll leave the issue open for a new contributor as it would be an easy PR to work on. But, if it doesn't receive any attention within a few months or so, I'll likely just add it myself since it would be useful to me for easily locating the section in the future. ---------- _______________________________________ Python tracker <report@bugs.python.org> <https://bugs.python.org/issue40045> _______________________________________