Danke, das ist ein Tip, der mir sehr gefällt. (y)
Plattenplatz kostet zwar nicht die Welt -- aber ich habe es gerne aufgeräumt (wenigstens auf meinen Rechnern, wenn ich es in der Realität schon kaum schaffe…) und wenn ich dann noch doppelte Videodateien vermeiden kann, ist es noch besser.