Slow in the making, but hopefully good quality :)
Dongle 13 is now available. The automatic RGB / composite scart switching that I broke in dongle 12 is fixed.
A segfault when going to standby if no server was found is fixed.
A segfault when deleting the last recording in a directory is fixed.