subs.diff fixes a couple of minor bugs in my DVB subtitle decoder, and also fixes...