strange printing of set_option in

Stream: lean4

[Jason Gross]

When I do set_option trace.Meta.synthInstance true in ..., is this supposed to get rid of character locations, as in

‘
’: failed to synthesize instance
  Arr (b ~> c) (Sort ?u.10588) 2
‘
’: [Meta.synthInstance] Arr (b ~> c) (Sort ?u.10588) 2 ==> Arr (b ~> c) (Sort ?u.10588) 2
  [Meta.synthInstance]

?