(November 24, 2022) The website is undergoing some textual overhaul. Please stay tuned for the updated version!

Meanwhile, some trivial and not-so-trivial information that may be of interest: