That’s the thing though, miners don’t have to fork off Bitcoin. It’s a softfork, so they just have to start running the code and mining the blocks. Nodes that don’t upgrade won’t even notice.

Forking off of Bitcoin would mean drivechains are merged, and then another fork without drivechains but with something else (CTV?) would be introduced. That would break the longest timechain, but it would put that fork in the direction Saylor wants it to go.