Control: tags -1 patch Control: user -1 [email protected] Control: usertag -1 - fileordering Control: usertag -1 + randomness
I agree that that's likely, though I haven't actually tested it. Upstream fix if it is: https://github.com/sphinx-doc/sphinx/pull/12888
