P.S. This discussion should probably become a formal bug report, so
please submit one, and let's continue there.