Remove buggy, unused function get_leaders_from_usergroup