Proposal to revive a decade-old HTML feature from WebKit, <hr> in <select>, that regressed due to the then new HTML parser:
https://github.com/whatwg/html/pull/9124
Shout out to Adele Peterson for initially making it happen!
This HTML change has now been merged. Separators in <select> are one step closer to being a revived feature.