@huitema@social.secret-wg.org @paul_ipv6 Sichuan peppercorns are actually dried buds from a prickly ash tree. Chilis were brought by the Portuguese later on. Actual peppercorns were available and used before that, though.