Changes since previous release:
- Override designer when making a Noto PR. 47b0fbc3ca2da3e63c0fb0aa8c6feced34e6e73f
- Use name builders from axisregistry 577
- [packager] Add article/ARTICLE.en_us.html to allowlist d46fae215528baa68ee3294ce17400ca38214783
- Quick and dirty add PR link to push lists 590
- gen-html: auto set script direction 595
- push: Fix parsing comments 20c4f668dbb1b7c29d0363daab487fd288e8e7e5, 597