import urllib.request, urllib.parse, urllib.error, urllib.parse
urllib.request.url2pathname(urllib.parse.urlparse('file:///home/user/some%20file.txt').path
    )
Is there a convenient way to map a file uri to os.path?