diff --git a/Docs/manual.texi b/Docs/manual.texi
index 91c2569752d..0f8ec374b8e 100644
--- a/Docs/manual.texi
+++ b/Docs/manual.texi
@@ -40137,7 +40137,7 @@ though, so Version 3.23 is not released as a stable version yet.
 @appendixsubsec Changes in release 3.23.31
 @itemize @bullet
 @item
-Fixed bug in @@code{MyISAM} when deleting keys with possible @code{NULL}
+Fixed bug in @code{MyISAM} when deleting keys with possible @code{NULL}
 values, but the first key-column was not a prefix-compressed text column.
 @item
 Fixed that @code{mysql.server} reads the @code{mysql.server} option section
diff --git a/mysql.proj b/mysql.proj
deleted file mode 100644
index a6e5d9c5852..00000000000
Binary files a/mysql.proj and /dev/null differ