JanB comments on Your posts should be on arXiv

[JanB]

Ah, I had forgotten about this. I’m happy to endorse people or help them find endorsers.