escapify the strings to become valid texinfo text. Only replace '@' by '@@' if these are not part of valid texinfo tags.