Adding another test run halves the code coverage

For some unknown reason, without changing anything else, we seem to have gone back to our normal C# code coverage now…