https://github.com/validator/validator/wiki/Markup-%C2%BB-Vo...
https://github.com/validator/validator/wiki/Markup-%C2%BB-Vo...
What do you mean by "never been specified"? They are in the spec: https://www.w3.org/html/wg/spec/syntax.html#start-tags
> Then, if the element is one of the void elements, or if the element is a foreign element, then there may be a single U+002F SOLIDUS character (/). This character has no effect on void elements, but on foreign elements it marks the start tag as self-closing.
[1] https://html.spec.whatwg.org/dev/input.html#the-input-elemen...
You will never find any HTML specification which will tell you a closing slash is required or that it has any meaning or does anything at all.
And the link you provided is specifically for the input tag, which has nothing to do with the syntax definition in general. Why would they repeat a generally applicable rule in more specific sections?
You also need to read up on what a foreign element actually is and it's not HTML.
Many people, myself included, prefer to have code that is easily parseable (both mentally and by a program) without requiring a lookahead or awareness of a list of special elements. A slash for self-closing elements achieves that. It just makes sense. Can you imagine JSX allowing this?
Though something is allowed, it is unspecified, not required, does nothing. So why would you want to write markup that is not needed and does nothing? This makes no sense whatsoever and I only find such discussions on public forums such as this one.
Do you add quotes to your single-word attribute values? Why? They are also unnecessary following the spec: https://html.spec.whatwg.org/#unquoted
Do you omit the opening html tag because it's optional? https://html.spec.whatwg.org/#optional-tags
Do you write unclosed <dd> tags? Do you close your paragraph elements?
The spec allows a lot of questionable styles, your argument that because something is not required it is superfluous doesn't hold any water.
The comments section of the guidelines offers some good rules of thumb: https://news.ycombinator.com/newsguidelines.html
I'm wondering why you are so triggered by that issue that you have to bring it up in a context where its off-topic (it could be brought up on any post related to Prettier).
The validator Wiki page even highlights that it's essentially a non-issue, except for interactions with unquoted attributes, which Prettier also converts to quoted attributes, so that interaction never happens. The other reason is for "teaching the wrong" mental model, which I guess is fair from the position of MDN, but Prettier was never designed as a "teaching formatter".
And if you, even with all that context want to opt-out of that formatting, there is a community-maintained plugin that adjusts the formatting to how you want it: https://github.com/awmottaz/prettier-plugin-void-html
Hope you never get tripped up by the "except for".
People were mixing XML and XHTML with HTML before React and got themselves into trouble.
Why are you so triggered by someone who thinks people should just follow the standard and not write unnecessary markup/code? That is a programmer's worst nightmare but people here seem to support it.