README.md: More info on the `do_mirror.sh` script