delete

other files

• remove_all_files_but_finitely_many.sh