diff --git a/textual-description/description.xdv b/textual-description/description.xdv deleted file mode 100644 index 825c0623..00000000 Binary files a/textual-description/description.xdv and /dev/null differ