Unexpected `#guard_msgs` error

Stream: new members

[Asei Inoue]

Why the following code raise an error ":cross_mark: Docstring on #guard_msgs does not match generated message:"?

import Mathlib.Tactic.Common

/-- info: inductive Or : Prop → Prop → Prop
number of parameters: 2
constructors:
Or.inl : ∀ {a b : Prop}, a → a ∨ b
Or.inr : ∀ {a b : Prop}, b → a ∨ b -/
#guard_msgs in
#print Or

[Asei Inoue]

I think #guard_msgs should ignore whitespace and breakline:

import Mathlib.Tactic

variable (α : Type)

/-! the following is correct -/

/--
error: failed to synthesize instance   Inv α
-/
#guard_msgs in
#check (_ : α)⁻¹

/-! the following is **not** correct -/

/--
error: failed to synthesize instance Inv α
-/
#guard_msgs in
#check (_ : α)⁻¹

[Asei Inoue]

I think there are other people besides me who have problems with this behaviour of #guard_msgs.