It's probably no consolation that it doesn't seem to be as bad for most others.

I stopped using Coq after that course and moved to other interests, but I'm relatively happy to know that, if I ever need Coq again, the chances for it to be the same PITA I remember are pretty low.

I might not ever need it anymore, but it's a small consolation to know that I don't need to fear that possibility.