I have tested the attached patch using official tools (make -C Doc html) and the only differences, between before and after, are:

* The genindex files, where some of the keywords that are duplicated in the documentation would end up getting randomly swapped around. An example is "DEDENT token", which appears twice in the documentation (see http://docs.python.org/3/genindex-D.html). In its case, the 1st url points to where the 2nd url used to point and vice versa.

* objects.inv: related to genindex changes?

* searchindex.js: also related to genindex changes?

I suspect these differences do not matter though, since these are just indexes.