Add DVB channel filter (issue #4093)