I don't think we need to inject missing `<html>` or `<body>` start tags. If the start tags are missing, then the section itself won't be highlighted. This is reasonable behavior.