As an aside, what does the “hong” part of the name mean? You mentioned “tea hongs” in a puerh article, which means it’s likely an adjective. A perusal of the (at least 15) different entries for “hong” on Google Translate gave me everything from Red (hence Hongcha) to Great to “Death of a Prince” (薨).
Thanks,
M.
