Error with opam init

Ah thank you! I have been fiddling with too many things over too long a time to remember where anything came from but it started with trying to get F* running.

I’ve been trying to get a fresh start and deleting this registry entry is what I was missing. It works now, thanks again!