Wow, for the first time Chat GPT was actually really helpful and told me something I was unable to find by the usual internet search.