Indentation issue: ssreflect's "have :="

[Ptival]

It seems that the := from the tactic have := ... confuses the indentation mechanism.

After it, lines are indented as far as after the := symbol.

Not sure how hard it'd be to case against this.