Realized the patch above was not from maint. So here we go again:<div><br></div><div>git fetch git://<a href="http://github.com/josevalim/otp.git">github.com/josevalim/otp.git</a> on_load_docs_maint<br><div><br></div><div>

<a href="https://github.com/josevalim/otp/compare/erlang:maint...josevalim:on_load_docs_maint">https://github.com/josevalim/otp/compare/erlang:maint...josevalim:on_load_docs_maint</a></div><div><a href="https://github.com/josevalim/otp/compare/erlang:maint...josevalim:on_load_docs_maint.patch">https://github.com/josevalim/otp/compare/erlang:maint...josevalim:on_load_docs_maint.patch</a></div>

</div>