Lars, Dirk, thanks for your comments. I'll consider them before making
any code changes.
Dirk, your comments would have been even more welcome if they had a
less condescending tone. "Feel free to waste your time on it" is a
really insulting thing to say. It's hard to take you seriously when you
write things like that.
-- Darin