Forgot link to dauth.hashdrbg docs.