fix: mirror_path() not modifying BACKUP_DIR/installed_files; change: significant performance improvement of mirror_path(); change: code and comments cleanup; change: prettify user messages