Properly append extension on linux when user doesn't specify one.
We were missing the directory separator and adding a paren.
Retrieve whichever file filter the user selected for the extension.
Minor ci doc update.
We were missing the directory separator and adding a paren.
Retrieve whichever file filter the user selected for the extension.
Minor ci doc update.