Fix tag names so GitHub generates better filenames