Hi, while trying to fetch an extension, I noticed g.extension fails this morning, it appears the file : https://grass.osgeo.org/addons/grass7/modules.xml is empty (last modified 2017-09-30 04:00). Any idea what happened ? Thanks Vincent.