An expanded version of the original account will be posted in early 2021.