Download patch
ref: d657283a971f1d5389db6a4ebde7321f01d512a7 parent: 45505983f4a552fbfb71dbdfad56b8792d04e2b6 author: Ori Bernstein <ori@eigenstate.org> date: Thu Nov 5 19:47:57 EST 2020
unrevert accidental htmlfmt reversion.