Yes, astral is a great tool. But our goal is different. We're trying to crowd source the tagging work so that most people don't have to tag repos any more. And the tagged data could be used by any Github related services or anyone who wants to study open source projects.