I think this is the first time I've seen a github badge (with number of stars) that's for the website itself and not the language repo!