Added Agda mailing list post reference.