2022-10-29: This is a proverbial “Hello World” first post on micro.blog. Glad to be here!