Whether this is a good idea or not is outside of my ability to judge.
Even if this is a good idea at a high level, there are two other things we might want to do:
Make the filename itself optional, so it's just not needed.
Update the source code of the current file to reflect the new name. This would prevent confusion but also introduces a surprising information leak if the file is renamed without the new name being safe to share.
This is a minimal version of fixing https://github.com/brownplt/code.pyret.org/issues/517.
Whether this is a good idea or not is outside of my ability to judge.
Even if this is a good idea at a high level, there are two other things we might want to do: