I don‘t know how to feel about this. While It’s nice to be able to replace the battery, I very much prefer the durability of todays phones over those flimsy removable back plates that used to be common in the 00s.
I really hope they mean that no special tools/skill are required. They should just standardize one type of micro screwdriver that everyone has to use.
Replaceable batteries inevitably also have to be sturdier s.t. they don‘t pose a fire hazard, making the entire phone bulkier or reducing battery life.
My iPhone XR is now over 4 years old and battery capacity is still at 80%, getting me through the day easily.
Before that I had an iPhone 4s where I replaced the battery after ~6 years. I was really disappointed with the new battery and ended up buying a new phone anyway after a few weeks.
My phone is the device that I use the most by a huge margin. It doesn‘t bother me too much if I have to replace it every 5-6 years. And I‘m pretty environmetally conscious in general.
I think Lemmy is correct here and the Mozilla docs only refer to the text content, not elements. It also mentions that < and > still have to be escaped to be displayed.
The HTML spec https://html.spec.whatwg.org/multipage/grouping-content.html#the-pre-element defines that the element contains „phrasing content“ which \ is part of.
It even explicitly mentions nesting \ inside .