2023-12-01 Discontinuation Sadly there’s no more time to add contents to this blog. Maybe in some far future? We will see.