diff --git a/experimental/ulo/coq-export-bugs.txt b/experimental/ulo/coq-export-bugs.txt
new file mode 100644
index 0000000000000000000000000000000000000000..1839692c4fe0e3c8407f0d1c6b70d70bfc58f976
--- /dev/null
+++ b/experimental/ulo/coq-export-bugs.txt
@@ -0,0 +1,6 @@
+- tags that shouldn't be there, i.e. `Target`, `HasInHypothesis` and
+  so on
+
+- wrong ULO namespace
+
+- objects have relative URIs which is annoying