@AdamS’s PR to dfx was just merged, it’ll be in the next release. I think we target the end of next week for that