https://formalworkshop.pages.dev/posts/list-of-executable-file-extensions1365807/