chore: %reset_grind_attrs ==> reset_grind_attrs%

Ensure the grind reset command follows our command naming conventions.

src/Init/Grind/Tactics.lean

@@ -10,7 +10,7 @@ namespace Lean.Parser
 /--
 Reset all `grind` attributes. This command is intended for testing purposes only and should not be used in applications.
 -/
-syntax (name := resetGrindAttrs) "%reset_grind_attrs" : command
+syntax (name := resetGrindAttrs) "reset_grind_attrs%" : command
 
 namespace Attr
 syntax grindEq     := "= "

tests/lean/run/grind_constProp.lean

@@ -1,4 +1,4 @@
-%reset_grind_attrs
+reset_grind_attrs%
 
 set_option grind.warning false
 

tests/lean/run/grind_const_pattern.lean

@@ -1,5 +1,5 @@
 set_option grind.warning false
-%reset_grind_attrs
+reset_grind_attrs%
 
 attribute [grind] List.map_append
 

tests/lean/run/grind_eq_pattern.lean

@@ -1,4 +1,4 @@
-%reset_grind_attrs
+reset_grind_attrs%
 
 /--
 info: [grind.ematch.pattern] List.append_ne_nil_of_left_ne_nil: [@HAppend.hAppend _ _ _ _ #2 #0]

tests/lean/run/grind_list.lean

@@ -1,4 +1,4 @@
-%reset_grind_attrs
+reset_grind_attrs%
 
 namespace List
 

tests/lean/run/grind_palindromes.lean

@@ -1,4 +1,4 @@
-%reset_grind_attrs
+reset_grind_attrs%
 
 attribute [grind cases] Or
 

tests/lean/run/grind_trace.lean

@@ -1,4 +1,4 @@
-%reset_grind_attrs
+reset_grind_attrs%
 
 attribute [grind =] List.length_cons
 attribute [grind →] List.getElem?_eq_getElem
@@ -96,7 +96,7 @@ example : p ∧ q → p := by
 example : (List.replicate n a)[m]? = if m < n then some a else none := by
   grind?
 
-%reset_grind_attrs
+reset_grind_attrs%
 
 example : (List.replicate n a)[m]? = if m < n then some a else none := by
   fail_if_success grind?

tests/lean/run/grind_try_trace.lean

@@ -1,5 +1,5 @@
 set_option grind.warning false
-%reset_grind_attrs
+reset_grind_attrs%
 
 /--
 info: Try these: