backslash in docs

[Francisco Vila]

I have noticed that "\times" goes "imes" in Spanish PDF @lilypondfile
lsr snippets. English PDF is OK. The two instances I have seen so far
come from

input/texidocs/entering-several-tuplets-using-only-one--times-command.texidoc
and
input/texidocs/changing-the-tuplet-number.texidoc

both of which use  @code{\\times}, as do the English texidoc and
doctitle strings in

input/lsr/entering-several-tuplets-using-only-one--times-command.ly and
input/lsr/changing-the-tuplet-number.ly

but in these same files the Spanish strings use a single backslash.
Aren't they supposed to come from the ones in texidocs/ ? When did the
double backslashes become single?

Relevant section is NR 1.2.1.2 Tuplets.

Thank you.
-- 
Francisco Vila. Badajoz (Spain)
http://www.paconet.org