It is in the repository, if we happen to need it.
Don't patch the documentation directly, to avoid one extra patch in divergence from upstream. Use the BUILDROOT variable instead of setting BINDIR etc during installation.