Merge pull request #9371 from TheElectronWill/quickfix/doc-on-softkwd

Fix #9366: Remove "on" from the list of soft keywords in the documentation

Author: nicolasstucki

docs/docs/internals/syntax.md

@@ -104,7 +104,7 @@ yield
 ### Soft keywords
 
 ```
-as  derives  end  extension  inline  on  opaque  open  transparent  using
+as  derives  end  extension  inline  opaque  open  transparent  using
 *  +  -
 ```