> only if it implodes or offers substantial back compatibility so people can migrate.

Yeah, at this point, any successor would have to be compatible with nixpkgs, which means to embed the nix language in some way.

My best migration experience is the vim->neovim one. It (almost) fully supports vimscript and yet runs Lua side-by-side, paving a great way to the full Lua adoption.