DivX Subtitles MiniTools is a package of SubRip and MicroDVD subtitles-related, command-line tools for Linux and Windows. SubRip subtitles are .srt files containing the subtitles for a movie, indexed by time and often used for DivX subtitling. MicroDVD is another popular format for DivX subtitles.