ulocollectweb: import of Coq data via Git fails
Import of https://gl.mathhub.info/Coqxml/coq.8.9.0 fails with the following error.
importing path=/tmp/collectlib.GitCollecter.462315418/triples.rdf failed: API call failed: replied StatusCode=400 Body=MALFORMED DATA: Relative URI 'Coq.Arith.Between.html#bet_eq' cannot be resolved using the opaque base URI 'foo:bar' [line 5, column 64]
This should not happen, especially not when importing automatically from Git repositories.