published: November 20, 2019 — last modified: October 20, 2025
This is an archive of my blog posts, and therefore there will be no further updates.
