I use double spaces because it is a harmless habit that typesetting systems correct when it isn't appropriate. In fixed-width code, it looks better imho, so I continue to use it there.
Since typesetting systems remove it anyway though, there isn't any reason to do it when using them.
Since typesetting systems remove it anyway though, there isn't any reason to do it when using them.