When members have a GitHub identity some extra data is pulled in: 'Languages' and 'Topics', it would be great if we can filter members based on that data.