Fix #3933

Implement HTMLOptionElement.{label,value}