Bugs in Patchmanager ≥ 3.1.0

Thank you @Objectifnul and @adekker for reporting, I retested (now, nine days later) and confirmed this, but then realised that @Objectifnul already moved this discussion (without mentioning it here) to:

This is fine, because this is not a bug in Patchmanager proper, rather a network misconfiguration.