Fix haddocks for marker events in Debug.Trace