The fungi: 1, 2, 3 ... 5.1 million species?