Unversion old `ref_doc_generation.py` (moved to another location).
Update the `index` page of the documentation.