I’m considering switching everything to Debian eventually, but there’s a couple dedicated repos that make using Fedora on my laptop much easier for now.
I’d recommend against that. Debian is fantastic for a server, but I think it leaves a lot to be desired as a workstation OS as compared to Fedora.
You can get it there/make it that way, but Fedora is just better from a user experience/convenience perspective out of the box.
CBOE will create options for it pretty soon after IPO, probably that week or the next. You’ll definitely be able to buy puts on it before you’ll be allowed to short sell it.