Make GitHub interpret the tags correctly...