Hilfe returns escaped backslash as "\\"
Imported from http://bugzilla.roxen.com/bugzilla/show_bug.cgi?id=1861
Reported by Diane Murray dsm@muenster.de
Pike v7.0 release 345 running Hilfe v2.0 (Incremental Pike Frontend)
> string dot = "\.";
Result: dot = "."
> string backslash_dot = "\\.";
Result: backslash_dot = "\\."