Validating devformatter content

I use a WordPress plugin called the Developer Formatter to display code blocks. In general, it works well for me, but I recently went to check the W3C HTML Validator and was getting a large number of errors.  Working through them, there were four things that the validator did not like about the plugin output:  [...]