It was an honest question. It didn’t mess up any googling. I just don’t know anything about the particular legal structure/origin/whatever of the court you brought up, and so I had no way to know if the slight difference in name was meaningful or not.