Update comments and docstrings related to binder#18611

JukkaL merged 2 commits intomasterpython/mypy:masterfrom

binder-docspython/mypy:binder-docsCopy head branch name to clipboard