It's a bit too late to reply, but... > These would normally be corrected with as much as one sentence, and by my intuition I would expect no more than 100,000

It's a bit too late to reply, but... > These would normally be corrected with as much as one sentence, and by my intuition I would expect no more than 100,000 additional words would be necessary to fully specify these edge cases. It doesn't meaningfully move the dial on any of these numbers. I expect it would take much more than that to specify exactly what bash, dash and a lot of other shells should do in a cross-platform manner, consolidate the language to one, and allow backwards compatibility (just like where the web APIs are based on the consolidation efforts of IE, Netscape, and a bunch of other browsers in the 90s) > On Chrome and Firefox, maybe. How about IE or Safari? How about Netsurf or Lynx or w3m? SourceHut (of which I am the founder and lead developer) works in all of those browsers, by the way. Chrome, Firefox, and Safari are pretty easy to target all at once, as they have the usual modern features. Considering Lynx, Netsurf, or w3m as modern web browsers invalidate your points, since I'm pretty sure they don't implement a lot of the standards, does w3m implement flex box/CSS grid for example? I can't say this in confidence, but I think it won't be that hard to (not that it's easy) implement a web browser with a complexity of w3m. > Believe it or not, it was in how they interpreted margins. This was the fix: Hmm, my intuition feels like that's a SCSS-compiling problem where they mixed up the rules... but if they weren't, that would definitely be at least one browser bug.