Manpages of decibel-audio-player in Debian wheezy