GH-7, GH-11: document new bootstrap.pl usage