This bug can be closed. The original "mplayer" is back in testing/sid, making "mplayer2" obsolete.
The "mplayer" package comes with proper dvdnav support, as expected. Thanks! -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org