I can't even remember what Miro was - software or hardware(?) that we used to edit video. At the time it was a big deal (early 90's). Now it's a joke compared to what you can do even with free tools. Uploaded just for preservation... or maybe I should have tossed it in the trash with the VHS tape it was stored on.
