Everything from this git directory should be put into BACI, particularly the directory
doc/readthedocs