In the installation of gstreamer-dev packages on Linux, excluding the
doc packages saves disk space and bandwidth.