Can anyone explain why I am unable to subscribe from my present active address?
The same holds for the Coq list, and apparently even my mail to the
list admins personally ends up in a black hole.  Looks to me like an
institution-wide over-eager filtering rule at INRIA.

The address is itzNOSPAM-AT-madbatNOSPAM-DOT-mineNOSPAM-DOT-nuNOSPAM

with the obvious transformations.  If someone contacts me about this,
I can supply the IP of the connecting host.

Thanks, Ian.