This is done. I'll open a separate PR for the HKDF docs later.