A general-purpose subtitle editor