patched txt2man: backslash wasn't properly escaped