Search:

If the web pages are program generated, they don't need to use both characters. I wouldn't think too many pages were typed in using an editor.

The two characters: "\n" and "\r" can either one or both be written to a file. Some editors will honor only one, some require both.