Noo, wreszcie się udało. Zrobiłem to programem MKVToolNix. Wystarczy otworzyć plik w programie, wprowadzić żądaną rozdzielczość w zakładce 'opcje formatu ścieżki' i kliknąć muksowanie. Tylko jest jeden minus, przy zmianie rozdzielczości lub przy jakiej kolwiek zmianie parametrów w tym programie...