Delete EventListenerOptions.html
Delete EventListenerOptions.html

This unofficial draft spec doesn't contain all the fine detail currently in the DOM spec, yet contains no additional information beyond what's in the explainer.  It's entirely redundant and only serves to potentially cause confusion.  Let's just kill it.
RByers/EventListenerOptions