magma-documentation A standalone home for work on documentation for Magma, in order to make check-ins less work