I did some research and found out that a simple averaging over two channels is ineffective and basically outputs poor quality file.
There should be some sort of a normalization, but I'm not completely sure about it.
Basic python modules like wave
or audioop
don't seem to be doing the job.
What would you recommend for such a use-case? Any links or suggestions would be greatly appreciated