File Explorer broken on Python 3.9

[gdementen]

Given that Python 3.9 is EOL, I am unsure I will fix it, even though it is trivial to fix. If I release a new version of the editor before we moved all our colleagues to Python 3.13 (or 14), I should fix it, otherwise, it is not worth it.

The problem is in the type annotation (str | int is not supported on 3.9), so only removing it is enough.

    def get_file_info(p: Path) -> tuple[str, str, str, str|int]:
TypeError: unsupported operand type(s) for |: 'type' and 'type'