homotopy-continuation-chann.../.gitignore