mathlib3

chore(*): replace uses of `---` delimiter in tactic docs

#2372

Merged