https://wwtyrd.com/tech/romaine/how-to-make-your-mac-show-file-extensions/