Add a module docstring for ah_bootstrap.py