Mar 28, 2023 Replying to: @JohnPhilpin @JohnPhilpin 1500 words appeared somehow (thanks for the inspiration!) and so here is my reply.