Add AIMS2 docs to manually-defined MKdocs index
When adding the first AIMS2 docs I did not add them to the index, as I did not realise they are not autogenerated but manually added.
When adding the first AIMS2 docs I did not add them to the index, as I did not realise they are not autogenerated but manually added.
merged
mentioned in commit 9d25c9c8