Remove documentation and make it independent of the main hyper-graph repository to not have too many commits in just one repo with major changes