Что я могу использовать для перекодирования MKV в MKV с хорошим автоматическим сжатием?

Разве это не проще?:

import time
print ("Ok, I know how to write programs in Python now."),
time.sleep(0.5)
print ("."), # This should print on the same line as the previous print statement.
time.sleep(0.5)
print (".") # ... As should this one