Make sure dvb_tune documentation matches the reality.