documentation is now managed outside of this repository