It's a small thing, but what if `result.aborted` is set and `numProblems === 1`? Should it say "1+"? This actually seems quite possible, given that you could have some single bad error that causes the rest of the file to not be parseable. Even if you had that ERROR plus a META, that's still only `numProblems === 1`, since METAs don't count.

It's a small thing, though. It seems reasonable to me to still say "there's an error in this file", even if there might be more errors that are hidden away by the big one.