Text this: Trichophyton: Changing nomenclature and practical implications