Hi Mir developers, Is recordmydesktop for Mir available? I noticed there is MiRandR https://code.launchpad.net/~bryce/+junk/mirandr acting like XRandR. So if someone wanna develop recordmydesktop for Mir, please let me know :)