Hi. I've had a Tor mirror for years. I see you haven't written anything in three months. Is the distribution list still valid? Thank you. -- PGP Key ID 0x6FF3B1A15331A029 fjsantos at muerdago dot es