To be honest I think there are safer stimulants than cocaine. Amphetamines and methylphenidate are probably better for you. I agree with you that a safe supply is better though, and generally agree that it's a personal choice.
By the looks of it they aren't banning use of drugs in private spaces either. Only in public ones. Which honestly is somewhat reasonable given how some people act on drugs.