Created: February 04, 2022
Modified: February 07, 2022
Modified: February 07, 2022
anonymized names
This page is from my personal notes, and has not been specifically reviewed for public consumption. It might be incomplete, wrong, outdated, or stupid. Caveat lector.In the published version of these notes, names are anonymized to protect the privacy of friends and colleagues.