Could actually check for `$JENKINS_HOME/users/^john ^smith/config.xml` after saving some change such as to the full name.