> My main concern is that the door not be closed on improving the user experience relating to this behaviour of the compiler.

Is not closed, if someone has a good idea they can reopen this issue (the issue is not deleted).

> By the way, I see these improvements being done as a third-party pure-Python module outside Python's Standard Library, at least until they've reached a wide measure of community acceptance.


You can reach to André Roberge, the author of "friendly" and "friendly-traceback" (https://github.com/friendly-traceback/friendly-traceback) which is a fantastic 3rd party package in these lines.