I wondered about that but at least ChatGPT wasn’t able to find anything definitive.