For that reason, if this were to be done, perhaps there should be a special tag like <tidy> for it. I'm not commenting on how difficult that would be to implement, because I have no idea; but it would solve the issue of not wanting it applied to all things that are placed in <code> tags.