I reported it here, with a backref to this thread:
Thanks folks for helping me with it, showing that it’s a reproducible bug.