A blog is born2025-11-22#introduction Making of this blogI’ve created this blog in a few days of rather casual effort. Here’s the (not particularly interesting) story.[]