For those using editors with mouse, it's very easy to add a character anywhere. Doesn't matter the place.
9 karma · joined April 5, 2024
I would certainly attribute that to a typo if I was reviewing the code.
Hastily? Jia Tan was helping for more than one year...