filters.texi: document interlaced scaling