[Forwarding because Andrew isn't subscribed to the list at the address he tried to post from. More generally, this thread belongs on or-talk, not or-dev. -RD] ----- Forwarded message from owner-or-dev at freehaven.net -----