GitHub link appears in index.

List Coq file name in coqpost metadata.
Clean unused imports.
Merge and update ideas and TODO.