F12, да, в главном меню два архива (ярлык в виде коробки) и расширение .xz , вероятно два потому, что я скачивал дважды - один раз по-английски, второй - по-русски.
Система 14.04. Кроме того, в папке "Загрузки" имеется и архив и (по-видимому) распакованный архив.