We have two top-level documentation directories. One should be removed (I believe `doc/`). Filing this to attend to later.