A Web Component is HTML Custom Element that is optionally:
This is a technology that permits to package up styling and functionality into new, custom HTML tags that can be easily reused or shared with others.
This is used in the github website.
Just check what Googlebot see