Dear maintainer,In the meantime, I have a new PC with a different network chip, so I can't confirm whether it's still present. Last time I used my previous PC, it was still not solved though. That was April 2023.
I wonder why no one else reported this. It was pretty obvious. -- Kind regards, Manuel Bilderbeek