Deleted src/bashlets-time.sh.