My apologies for the noise. It has been a while since I last used MakeMKV and I hadn't noticed that it reported being unable to download the HK file.
As GasmaskAvenger has found, the latest keydb.cfg file solves this problem.
My apologies for the noise. It has been a while since I last used MakeMKV and I hadn't noticed that it reported being unable to download the HK file.