Amazingly, after having applied a windows update, then having restarted spacedesk server, it seems to work. I’m puzzled.