The documentation is in `doc/x3`, but I expect the docs to be in `x4`. What hinders you from running a `git mv` on that directory?