diff --git a/doc/bugs/Android_install_doesn__39__t_permanently_add_to___36__PATH/comment_5_3eafb2258ac0c8c4e18a3f4591728b32._comment b/doc/bugs/Android_install_doesn__39__t_permanently_add_to___36__PATH/comment_5_3eafb2258ac0c8c4e18a3f4591728b32._comment
new file mode 100644
index 0000000000..f0a0dd8721
--- /dev/null
+++ b/doc/bugs/Android_install_doesn__39__t_permanently_add_to___36__PATH/comment_5_3eafb2258ac0c8c4e18a3f4591728b32._comment
@@ -0,0 +1,9 @@
+[[!comment format=mdwn
+ username="anthony@2b89f08c5c67f83d920fe464d7363db8f45cec20"
+ nickname="anthony"
+ avatar="http://cdn.libravatar.org/avatar/5d9fb1b0dd5ae1428c4c5b7df8d26bf2"
+ subject="comment 5"
+ date="2019-05-19T08:39:09Z"
+ content="""
+I have the latest from the Play store on one device and the latest from F-Droid on the other. Is it possible you have a bash_profile or bash_login? If so, then I believe bash won't read profile. 
+"""]]
diff --git a/doc/bugs/Android_install_doesn__39__t_permanently_add_to___36__PATH/comment_6_dd74b3b5a15b6b9f21f3835da134cd5a._comment b/doc/bugs/Android_install_doesn__39__t_permanently_add_to___36__PATH/comment_6_dd74b3b5a15b6b9f21f3835da134cd5a._comment
new file mode 100644
index 0000000000..a98c4ff2ee
--- /dev/null
+++ b/doc/bugs/Android_install_doesn__39__t_permanently_add_to___36__PATH/comment_6_dd74b3b5a15b6b9f21f3835da134cd5a._comment
@@ -0,0 +1,9 @@
+[[!comment format=mdwn
+ username="branchable@bafd175a4b99afd6ed72501042e364ebd3e0c45e"
+ nickname="branchable"
+ avatar="http://cdn.libravatar.org/avatar/ae41dba34ee6000056f00793c695be75"
+ subject="it's zsh"
+ date="2019-05-19T10:05:27Z"
+ content="""
+I figured it out - I changed my default shell to `zsh`, which doesn't read `.profile`.  IMHO the installation should also set up `.zprofile` in the same way.
+"""]]