This was definitely a problem back in the day, but I think most popular editors do the right thing now. And like you say, alignment is usually a waste of time a

This was definitely a problem back in the day, but I think most popular editors do the right thing now. And like you say, alignment is usually a waste of time anyways.