* These notes are not formal publications. They may contain errors, inconsistencies, etc. If you find any such issues, feel free to open an issue on my gitlab. I am in the process of moving this to a blog-style page, which will be here.

2022

2021