miscellaneous doc improvements

* the word "system" can be misleading, so use a clearer choice of words
* reduce repetition
* mention Debian, since it is similar to Ubuntu, and is major enough
* it is now "Ubuntu", not "Ubuntu Linux"