Updating the moderators file

Hi all,
Amongst other still valid addresses, the current moderators file for INN has:
##  Public hierarchies with exceptions.
aioe.*:%s-newsgroup@aioe.org
medlux.*:%s@news.medlux.ru
Shouldn't they be dropped?
news.medlux.ru no longer exists, and medlux.* does not seem to be well distributed (neither on Eternal September nor on news.individual.net).
As for aioe.*, its news server is long time gone...
--
Julien ÉLIE
« PowerPoint allows speakers to pretend that they are giving a real
   talk, and audiences to pretend that they are listening. » (Edward R.
   Tufte, _The Cognitive Style of PowerPoint_)