Finding your Coq in the Dark is Hard