Adds github/time-elements to repos (643 stars)

This isn't my repository, but it is a popular custom element. (Also, it probably is one of the only ones operating at a high volume as part of a major web service.)