[m-rev.] diff: minor update for the user the user guide

[Julien Fischer]

Minor update for the user guide.

doc/user_guide.texi:
     Comment out references to base grades that should not be
     publicly documented.

Julien.

diff --git a/doc/user_guide.texi b/doc/user_guide.texi
index 9492672..e031344 100644
--- a/doc/user_guide.texi
+++ b/doc/user_guide.texi
@@ -7964,8 +7964,8 @@ The set of aspects and their alternatives are:
  @cindex .mm (grade modifier)
  @table @asis
  @item What target language to use, what data representation to use, and (for C) what combination of GNU C extensions to use:
- at samp{none}, @samp{reg}, @samp{jump}, @samp{asm_jump},
- at samp{fast}, @samp{asm_fast}, @samp{hl}, @samp{hlc}, @samp{csharp},
+ at samp{none}, @samp{reg}, at samp{asm_fast}, @samp{hlc}, @samp{csharp},
+ at c @samp{jump}, @samp{asm_jump}, @samp{fast}, @samp{hl}
  @samp{java} and
  @samp{erlang}
  (the default is system dependent).