`RocqStop` not idempotent within buffer

I'm running the latest `Coqtail` (commit `b12c31e`). It seems like `RocqStop` is not idempotent within a buffer. To reproduce, within a buffer, do: - RocqStart. makes Rocq windows. expected. - RocqStop. removes Rocq windows. expected. - RocqStart. makes Rocq windows. expected. - RocqStop. does nothing. unexpected.