Ah, didn't realise. Good they didn't ban it, but then that's still a clear failure of public health messaging. In exchange for falling behind on vaccination, Australia had some rather strict lockdowns (especially for the post-vaccine stage of the pandemic).