linter.fugue.rflHaveSimp

have h : x = y := rfl followed by simp only [h, …] states the new goal and pays a traversal to arrive at it. change states it once, and the traversal was never doing anything.