Kitchen sink for some Coq developments.