I thought the bug report I submitted from DrRacket, 11098, didn't make
it through (it apparently didn't finish sending after five minutes), so
I went to the web page and did another one, 11099.
11099 is more complete, so keep that one around.
Neil T