Uploading new Coq

[Benjamin Barenblat]

Hi, all,

I’m planning to do some work in the next couple of weeks to get a new
Coq uploaded before the buster freeze. Does anybody have pending state
on this, or should I just dive on in?

Thanks,
Benjamin