Thanks for letting me know through this edit-summary that the IP editor was correct. --DarkMatterMan4500 (talk) 15:38, 10 October 2022 (UTC)
Topic on User talk:Ondo
No worries! I know anonymous users using other languages looks like vandalism, but it looks like Finnish Wikipedia also favors the term the IP editor used, so I went with it. In any case, I know you're here in good faith, so I won't hold this against you. Thanks for looking out for us!