Add temporary functions
Add echo_file_modification_time
Improve notation
Add log_delimiter
Add hashing functions
Tweak find functions
Remove quote_quietly
Add echo_dir_name
Add copying functions
Fix corner case
Improve notation
Clarify function return values