Another reviewer for Coq package? Current one currently away