Reissue in the high-fidelity HQCD format.