Raspberry Pi installation instructions

Excellent info, thanks!

Immaterial side notes:
The current download version on Raspberry Pi OS – Raspberry Pi is actually stretch (Debian 9), not wheezy (Debian 7)
The command is singular (at least on my machine):

cat /etc/os-release