Introduce `show_files()`.