[isTravis]

Thanks for the idea! We've gotten a bunch of feedback asking about more specific categorizations once the basic set of votes are saturated. This could be a pretty fun way of getting at something like that. We'll keep it in mind going forward!