That’s pretty much it. The uniqueness check is performed on the downcased and normalized version of the given email address.
We normalize by removing all dots and ignoring everything after + in the username.
+