HTMLSelectElement API: options

This feature is currently not supported anywhere.