> even though there's not actually any hard and practical requirement here that it does the thing I want The practical requirement is the user interface. The

> even though there's not actually any hard and practical requirement here that it does the thing I want The practical requirement is the user interface. The entire purpose of the <hr> in <select> is to visually separate the options for the user. If the visual separator only appears for some users but not for other users, that's a failure of the user interface. Imagine if it wasn't Mac vs. iOS users but rather that there was a WebKit bug where the <hr> only appeared 50% of the time, randomly, for Mac users. Wouldn't you consider that to be a problem?