diff --git a/doc/internals/comment_9_7fb2f20ff86ad546a8c491714d3bf39c._comment b/doc/internals/comment_9_7fb2f20ff86ad546a8c491714d3bf39c._comment
deleted file mode 100644
index 53900116fb..0000000000
--- a/doc/internals/comment_9_7fb2f20ff86ad546a8c491714d3bf39c._comment
+++ /dev/null
@@ -1,8 +0,0 @@
-[[!comment format=mdwn
- username="Ilya_Shlyakhter"
- avatar="http://cdn.libravatar.org/avatar/1647044369aa7747829c38b9dcc84df0"
- subject="comment 9"
- date="2018-10-12T20:17:19Z"
- content="""
-What are *.rmet files?
-"""]]