Allow replace_imports to use coqc, add a questionable docstring