Plugin for encoding divx4 video. notice:
this plugin requires separate installation of libdivxdecore
and libdivxencore library which is not a part of this package
nor debian itself. see documentation for more details who
to obtain this library.
in general you do not need this plugin.