docs fail to build locally after moving from `doc/manual/source` to `doc/source`
docs fail to build locally after moving from
doc/manual/sourcetodoc/source