ah4channels=androidhdmi-for-channels (sullrich fork) -- ah4channels was just my attempt to differentiate the sullrich fork from the original. As you know, I containerized the original extension, and later the fork. It's become a really capable project, with some impressive features:
and for the Docker container:
https://hub.docker.com/repository/docker/bnhf/androidhdmi-for-channels
I haven't added ffmpeg to the container yet though, but that would be easy enough to do if there's interest. Support for custom transcoding is already in the source, and was being used by @KompilerDJ for the internal capture cards he was using.
I think it's important for users of this project, that mostly came from the original androidhdmi-for-channels, to understand there's a "companion" project that can already address many of the "blue sky" features people are likely to conjure up. Especially now that ADBTuner is addressing the core functionality many were struggling with.

, i.e. you need a lot more than that:
. Could've saved a bunch with the Exvist too!