Sorry if this is the wrong project to request this feature. GitHub is currently using MagicPython to highlight Python code. And MagicPython assigns distinct scopes to docstrings (there is a .docstring ...