Thread:MondlichtPanda/@comment-37484301-20190513200935/@comment-37823074-20190522215251

I'd say so, yeah, just for the simple reason that capital-first-letter username and not-capital-first-letter username mix up happens all the time.