I've been having troubles with my e-mail server, which should now be resolved; anyone who's sent me any direct e-mail (not through the lists) in the last day or so, I haven't gotten it -- please re-send.

-- brion vibber (brion @ pobox.com)