Masih dimungkinkan untuk mengekstrak klip video di antara bookmark di VLC 1.1.3?

Menurut posting blog ini , kembali pada tahun 2007 atau lebih VLC dulu memiliki kemampuan yang nyaman untuk mengekstrak klip di antara dua bookmark.

Ini akan sangat berguna, tetapi saya tidak melihat tombol "Ekstrak" apa pun muncul di jendela bookmark atau di mana pun seperti yang dijelaskan ketika saya memilih dua bookmark. (Saya menggunakan VLC 1.1.3 pada Debian / Squeeze untuk memainkan aliran transport dari Freeview PVR).

Apakah fungsinya menghilang, atau hanya bersembunyi dari saya?

(Catatan: Saya tidak tertarik dengan rekomendasi umum untuk alat editing video non-linear yang dapat saya gunakan untuk memotong video; tetapi saya tertarik pada "pemain" lain yang memiliki clip extractor GUI yang mudah diakses yang tidak dapat masuk kembali stream. Akurasi I-frame terdekat baik-baik saja.)

Sebagai workround (cukup jelek) untuk yang di atas ... jendela bookmark VLC melaporkan byte offset dari awal file, jadi saya benar-benar dapat melakukan

dd bs=1 skip=<start> count=<end-start> if=video.ts of=extract.ts

untuk mendapatkan ekstrak, tetapi akan jauh lebih baik untuk melakukannya dari GUI. (Meskipun saya baru saja menemukan - terlambat - dimungkinkan untuk menyalin-menempelkan sejumlah besar yang terlibat dari info bookmark daripada mengetik ulang: ^)