Removed unmaintainable notes.
Revert "Better theme for documentation."

This reverts commit 769d49ae8247be6fbafe5d3b1b48368d33aa9657.
Added doc string.
Fixed with-repository macro and export it again.
Initilal cleanup of some of the repository documentation.