[Python-ideas] ‘os.path.foo’ function to get the name of a filesystem entry (was: [Python-Dev] os.path.normcase rationale?)