Did you know that the name Ginkgo dissecta was first coined in 1974 but not formalized until 2002?