We try to have discussions regarding changes we make to the language and tools in the forums. It will always be a tradeoff about what we discuss here and what we don’t. Sometimes we post things and no-one is interested at all, and sometimes the opposite happens. I did not expect there to be such an interest in the choice of tool to create the Erlang/OTP documentation.
The discussion that was a precursor to this change is:
While not stated explicitly, I think that if one looks closer into the PR it becomes apparent that we intend to change the way we generate the HTML docs.