I'm surprised that the "+" operator isn't commonly known either in gmail (eg. I can type "johnsmith+345@gmail.com", and mail sent to that address will redirect

I'm surprised that the "+" operator isn't commonly known either in gmail (eg. I can type "johnsmith+345@gmail.com", and mail sent to that address will redirect to "johnsmith@gmail.com"