We Use Web Components at GitHub

https://github.blog/2021-05-04-how-we-use-web-components-at-github/