See this link for the exact reply I got from Purism support regarding the antenna connection. I still did not dare to try this. I’m considering in ordering a new WiFi card and do both, fixing the antenna connection and replacing the WiFi card in one go. If someone, preferably in Europe, has experience in this type of repairs/upgrades, I would be willing to pay for having this done.