What if things are in a PRE tag in terms of whitespace handling (which keeps whitespaces as they are present in the source)? Not that we need to handle that right now but something to think about for the future.