My last posting contained a huge error in the title, which I did not catch before publishing.
The error is fixed now, it shall not happen again.
Too much rushing on my part, the fault is entirely mine. Not the blog’s program, not the content, and certainly not any fault of yours, gentle readers.
Again, my most sincere apologies.