.COMMAND file extension