@Jberkel: Should one of these entries soft-redirect to the other? Which should be the main entry? ←₰-→ Lingo Bingo Dingo (talk) 20:27, 5 May 2023 (UTC)
- Grufti should be the main entry, Gruftie is newer, the -i was probably just re-interpreted as an English ending. Jberkel 20:44, 5 May 2023 (UTC)