zsh:options: Do not unset CASE_GLOB on android

Do not unset CHASE_GLOB under android as then globbing with absolute
paths breaks as the PWD is often in a path with subdirectories that are
owned by root and not world-readable (e.g. /data/data/).
I *believe* this is the reason for it.

.config/zsh/zshrc.d/10-options.zsh

@@ -66,6 +66,12 @@
 	# again, remove the first match and insert the second match, etc.  When
 	# there are no more matches, go back to the first one again.
 	# reverse-menu-complete may be used to loop through the list in the other
+	# direction. This option overrides AUTO_MENU.
+	setopt NO_MENU_COMPLETE
+
+# Expansion and Globbing #######################################################
+
+# Do not unset CHASE_GLOB under android as then globbing with absolute paths
 # breaks as the PWD is often in a path with subdirectories that are owned by
 # root and not world-readable (e.g. /data/data/).
 # I *believe* this is the reason for it.
@@ -73,6 +79,7 @@
 	# Make globbing (filename generation) sensitive to case.  Note that other
 	# uses of patterns are always sensitive to case.  If the option is unset,
 	# the presence of any character which is special to filename generation will
+	# cause case-insensitive matching.  For example, cvs(/) can match the
 	# directory CVS owing to the presence of the globbing flag (unless the
 	# option BARE_GLOB_QUAL is unset).
 	setopt NO_CASE_GLOB