If you rip Blu-ray footage, do you edit with those MKV files or do you compress them a bit first?