diff --git a/doc/bugs/Android_install_doesn__39__t_permanently_add_to___36__PATH/comment_2_ca7a2b0d05a925e530b637b209f1af34._comment b/doc/bugs/Android_install_doesn__39__t_permanently_add_to___36__PATH/comment_2_ca7a2b0d05a925e530b637b209f1af34._comment
new file mode 100644
index 0000000000..f9141d1278
--- /dev/null
+++ b/doc/bugs/Android_install_doesn__39__t_permanently_add_to___36__PATH/comment_2_ca7a2b0d05a925e530b637b209f1af34._comment
@@ -0,0 +1,16 @@
+[[!comment format=mdwn
+ username="branchable@bafd175a4b99afd6ed72501042e364ebd3e0c45e"
+ nickname="branchable"
+ avatar="http://cdn.libravatar.org/avatar/ae41dba34ee6000056f00793c695be75"
+ subject="Are we talking about a different installer?"
+ date="2019-05-14T19:57:41Z"
+ content="""
+This is the one I used: <http://git-annex.branchable.com/install/Android/git-annex-install>
+
+The comment near the top even explicitly admits that it doesn't permanently set up `$PATH`:
+
+```
+# This script needs to be sourced into the current termux shell, rather
+# than run with a new shell, so it can set the PATH to include git-annex.
+```
+"""]]