Minor documentation updates, Debian/Ubuntu system python option