implement HTMLDataListElement.options