Well, maybe you don't... and most technical manuals I see, use, and write are never printed.

"(as pointed out earlier) in web pages."

Well there it doesn't matter in the slightest. You might as well just use double-spaces and not bother yourself to change your habit.