Trivial change. No review. DONTBUILD (NPOTB) --HG-- rename : build/docs/requirements.txt => tools/docs/requirements.txt