Does anyone know the technical details of the decompilation? What tools were used, what problems they ran into, etc?