Improve documentation in bootstrap.py.