Convert TRP to MKV

Many types of digital receivers and set-top-boxes save their video recordings in TRP format, which is rather cumbersome for sharing and playback. Pretty much any modern video converter or editor supports both TRP and MKV formats nowadays, which means achieving trp to mkv conversion should be really easy.