android.md: add info

diff --git a/docs/android/android.md b/docs/android/android.md
index 6885fbf68e2df71076c6e06ed7d60a7d78d7a76e..03ca848a99c97ba65a1a431d2af8719dc86e87d6 100644 (file)
--- a/docs/android/android.md
+++ b/docs/android/android.md
@@ -111,6 +111,8 @@ The navigation drawer will list 4 destinations:
 Those subpanels will either contain the sources/authors **or** sub-subpanels with sources/authors.
 See fanfix.jar (BasicLibrary.getSourcesGrouped() and BasicLibrary.getAuthorsGrouped()).
 
+Note: if those last two cause problems, they can be removed; the first four options would be enough to cover the main use cases.
+
 #### UI
 
 Material.IO: