shrug Non-issue. File name extensions are irrelevant on Linux and you can always use an alias if you don’t like the command’s name.