Mencoder is part of mplayer1. I'm not sure that we want to maintain mplayer1. Therefore, it seems to me to be more appropriate to replace mencoder by libav-tools (avconv). For now I have not examined how difficult task it is.
Ok Slavek, now I get what you mean. It makes sense to do the switch if possible (I also have no clue how long it would require). As a temporary solution until we complete such task we can still consider adding mencoder to the dependency package list, as we did with libotr2. What do you think?
Cheers Michele