December 22, 2019 at 23:54:15 UTC
I guess I can't really blame anyone for getting Ripspyke's name wrong, and that may be the main reason why I've thought about changing these characters' names.