I appreciate the amount of research that went into it, but in reality this all falls squarely into domain of pedantry, because you close void tags either way and move on to more important matters.
No you don't. You don't close void tags because it does absolutely nothing.
It's like adding HTML comments around javascript code. You haven't needed that in a decade, yet some people still do it.