The following enhancements and fixes were deployed on 13 Nov 2020. (Correction: an earlier edition of these notes incorrectly cited 9 Nov 2020 as the releas...