On Fri, 2018-02-02 at 22:25 +0100, Jonathan Prieto-Cubides wrote: > Hi Sergei, > > > You can edit this page yourself. Just click on the top menu the > option "Edit" using the password agda and that's it. > Thank you. It is done. ------ Sergei