diff --git a/doc/todo/clarify_that_v7_applies_to_all_clones/comment_9_600a47e0a1ed8fa43130308e0f9dfb6a._comment b/doc/todo/clarify_that_v7_applies_to_all_clones/comment_9_600a47e0a1ed8fa43130308e0f9dfb6a._comment
new file mode 100644
index 0000000000..4e904e9cd0
--- /dev/null
+++ b/doc/todo/clarify_that_v7_applies_to_all_clones/comment_9_600a47e0a1ed8fa43130308e0f9dfb6a._comment
@@ -0,0 +1,9 @@
+[[!comment format=mdwn
+ username="kyle"
+ avatar="http://cdn.libravatar.org/avatar/7d6e85cde1422ad60607c87fa87c63f3"
+ subject="comment 9"
+ date="2020-10-05T18:09:03Z"
+ content="""
+Ah, I didn't think of using `git grep` for this.  I think that's much
+better than my suggestion.
+"""]]