dear list,
i'm currently out-of-office on a holiday break, and our central IT service department took the opportunity to firewall all our servers (obviously without communicating their intentions first (or after)), so among others puredata.info, the pd-list, and deken are no longer operational (starting with 12:00GMT 2024-07-24 (today))
i'm working on restoring all the services.
sorry for the invoncenience.
gmdsar IOhannes