No, no errors; it showed that it was connected but it just didn’t connect. In the end I talked it through with Mullvad and they suggested that I simply open the configuration file in a text editor and paste it in. That worked, although I had to play about with the VPN policies as well.