Javadoc for customElements.configlElements