Hello, I'd like to get back to the work on MediaKit/MediaPlayer which I started last year but then was preempted by other things. For me it would be easiest to do it in a public branch of my github repo, like the work on #8007. If that causes too much unwanted noise on the commits list though, please let me know, I can also do it in private and just submit patches when done. -- So long, jua