If we want to deprecate submitting a Python file with this, drop the `[python file]`