Thanks for posting here, Karl. I've been trying to post updates about
this issue on the en.wb reading room, but I tend to forget about
textbook-l as an information dissemination vector. I always get the
impression that the people who read this list are the same as the
people who are active on WB anyway, although (especially in your case)
this might not be correct.
--Andrew Whitworth