tools/run-all-tests.sh and some related clarifications