We’re using Web Components in a big way at GitHub. We have over a dozen open-source Web Components and with dozens more that are closed source.