Examples for hkdf + minor formatting.