JanB comments on Your posts should be on arXiv

[JanB]

Ah, sorry to hear. I wouldn’t have predicted this from reading arXiv’s content moderation guidelines.