Hi Jordi!
I hope you are doing good. Is there any chance that Agora can be shifted to some new hosting? I am still interested in making it better. Also we talked a month ago about setting up a help section for Octave with a possible address of
help.octave.org . Is is possible that I can help set it up?