How do I get the filename without the extension from a path in Python? "/path/to/some/file.txt" → "file" on September 02, 2023 get filename without extension in Python +