I use Blu-ray Ripper solely for converting my discs into MKV files. Presently, the subtitles are exported to external files. They need to be muxed into...