Server change / reduced services with end of some mailing lists

Hello,

I'm sending this message on behalf of Frédéric Lehobey who is a bit
busy right now. 

The demexp team has changed the demexp server to reduce administration
burden. The new server currently offers only a web presence. It should
be accessible at usual http://demexp.org and it can already be
accessed at http://demexp.net. It might have some additional services
in the future.

As a consequence, the mailing lists -en <at>  and -fr <at>  won't longer work.
The mailing list demexp-dev <at> nongnu.org is kept and should work.

I don't know if the contact <at>  alias will still work.

Best regards,
david