Coqtail seems to hang upon starting Rocq

I recently bumped Rocq to v9.0.0 and Coqtail to the latest release, and since then after starting Coqtail it gives a `Rocq is still starting.` message whenever I try to interact with it, and seems to never go beyond starting Rocq. I am running Rocq and Coqtail from nixpkgs. Coqtail is running on top of neovim, installed with nixvim. I would like to provide more information, but honestly I have no clue where to start debugging this issue, so please ask if any specific information is needed.