Does GitHub use Aura? I think they were using it as an example of the kind of page that would use widgets, but the positioning and wording made me wonder if GitHub is using Aura. If not, borders on misleading (even if unintentional)