We know the current dictionary spelling is "ginkgo" and its history of mistake. Because the spelling became this way by mistake, why not correct it to "ginko"? Start allowing ginko as an alternative spelling or another correct spelling? And, in five years or so, phase ginkgo out. Your thoughts on this proposal, please?