Debianはここ十数年の大きなバージョンアップリリースではコードネームも公開されています。8.0がJessie、Version9.0がStretchというコードネームです。Stretch」でしたよね。(=Stretch)をベースにしたDebianの派生ディストリビューションになります。10.0は2019年春頃にリリースが予定されています。10.0ベースのRaspbianがリリースされると思われます。Buster」ですかね。ところで、スマホで有名なAndroid(アンドロイド)もLinuxなので、上でご紹介したサイトのどこかに隠れていますよ。Androidの先祖がいるのでしょうかね。