Nice! I wasn't aware of that. I see it now: https://github.com/WordPress/WordPress/blob/acb65e13c3534ffdee9cc32b2578d9989fddc49a/wp-includes/user.php#L546-L557