Thanks for catching this! We do appreciate what IP editors do when they improve the encyclopedia. Daniel Case (talk) 19:43, 8 June 2023 (UTC)Reply