dotnet.xml

[Ron Grabowski]

Gilles, Roberto: I'm updating dotnet.xml with the new logging and
remapResults information.

Writing documentation isn't as easy as it looks :-/