[PATCH] Update ext[23] mailing list address