GPL sources to inverto.tv idl4k platform.