Coquille coloring persists even after executing CoqStop()
Hey!
While using Coquille the code which have been checked by Coq is colored (blue when it's ok, red in case of error).
However when Coquille is stopped with CoqStop the coloring still persists on screen and I don't know how to remove it except closing nvim =)
Thanks!