doc/muxers.texi: Readd documentation removed accidentally