Add `hide_dotted`-option to `show_files()`.