There’s an English cricketer called Ben Duckett. His nickname among Australian fans when playing for their local team appears to be “Autocorrect”
Autocorrectson sounds like a fine family name.
In England it’d be “Duckyson”
I wonder if there are real examples of more creative nicknames becoming surnames.