This blog is devoted to some random thoughts whenever the author of this blog feels like it.
They plan to return in 2022.
