> > can someone verify that it worked? Yes, it work perfectly at https://lists.chalmers.se/pipermail/agda/