*not an answer, just a long comment*

but it was a surprise to see JanDoggen leave and delete all content on this site

https://stackexchange.com/users/241731/jan-doggen

Thanks Jan for all your efforts to keep a high standard on this site!