Commit 68c3a91166347a32a57fb81223750a63cfd92105 Parent 7b35d4bdc5e514ded03c0f0012983fe315a3aaf4 Author John MacFarlane <jgm@berkeley.edu> Date Wed, 27 Nov 2019 22:04:16 -0800 normalize.py: use html.escape instead of cgi.escape. Closes #313.