This could be a bug, but earlier today I was pinged and someone put my username as lowercase, and I didn't get pinged. This just seems like a given to me that it doesn't matter if your username is capitalized or not, especially with bugs on the capitals altogether being thrown around.