Marvin Scholz authored 6 years ago and Rémi Denis-Courmont committed 6 years ago

This is since some time a stream filter and not a demuxer anymore,
therefore this should be named stream_filter to not cause confusion
about that.

Signed-off-by: Rémi Denis-Courmont <remi@remlab.net>