The network monitor (https://netmon.mgmt.ph.tum.de) was updated to version 23.3.86.1520.