A web component-based source format for ECMAScript and related specifications