This readme can be automatically generated by generate_readme.py.