How do I get the short filename (8.3 format) from a file on a FAT file system using Python 3.x

Question

I would like to extract the short filename from an existing file on a FAT file system. I do not want to generate it or run a conversion function. I just want to extract the