Merged PR #1186, thanks to [dasl-](https://github.com/dasl-).

diff --cc BUILDFORAP1.md
index d383424015ece4fad71d156e379a0666043cdec4,fa36f91b0c81c752a9e680de7a72db8839598651..6941e564eb8d1e91477803984489e9e37d89d989
--- 1/BUILDFORAP1.md
--- 2/INSTALL.md
+++ b/BUILDFORAP1.md
@@@ -9,7 -9,8 +9,8 @@@ Do the usual update and upgrade
  ```
  # apt-get update
  # apt-get upgrade
- ``` 
+ ```
 -(Separately, if you haven't done so already, consider using the `raspi-config` tool to expand the file system to use the entire card.)
++(Separately, on a Raspberry Pi only, if you haven't done so already, consider using the `raspi-config` tool to expand the file system to use the entire card.)
  
  ### Turn Off WiFi Power Management
  If you are using WiFi, you should turn off WiFi Power Management: