ADD: option to hide file extensions, closes #28.