Description

Today, we use by default the following text-based separator for preferred choices in ChoiceType:

Some browsers just added support for adding <hr> as separators inside <select> elements, which looks much better. See https://developer.chrome.com/blog/hr-in-select/

If this proposal is accepted, it can only be implemented in a few months, when most browsers support this feature. Thanks!