I haven't studied it, but didn't Hal have public discussions with Satoshi in the early days? Would be really weird to fake that.