Unfortunately, with our current way of using @rlearning etc, I don't know
any
way to get the links to show backslashes...
The @ref command has a third argument, which controls the displayed text,
but
our definitions in macros.texi don't use this third argument.
Unfortunately, using @ref directly is also no option because (1) it breaks
with big-page and (2) if we ever change the names of our manuals, we'll
have
to go through all the documentation and the point of using macros.itexi is
made mood.
The only solution I see is to also define two-argument macros similar to
@rlearning and the like, where the second argument gives the displayed
text.