(Trivial) Do we really want this string with a newline with the error? Instead of something like having the string be `Unknown error: [[err]]` and then inserting it.