Add Randall Degges' user authn code.