J'ai aussi mis à jour #PicoDAV, mon 3ème projet (!) de serveur #WebDAV, qui tient en un seul fichier (un copier/coller vers un hébergeur et vous avez un serveur WebDAV !), pour utiliser la nouvelle version du gestionnaire de fichier : https://github.com/kd2org/picodav
PicoDAV fait désormais 110 Ko tout compris.