the Urlang counter-example is a great. OK to post on Racket News?

Sure. But pmatos shouldn’t feel obliged to include it. Racket News is more about blog posts etc.

I think @pocmatos is keen for submissions to Racket News? (He has been very kind in accepting mine in the past)