No, i wast there either, but it wasn’t Dorian.
Discussion
His birth name was Dorian Satoshi Nakamoto and he lived down the street from Hal, that would be one crazy coincidence for him to have no involvement. But, maybe Hal just used his name as a smoke screen 🤷♂️
If it is Dorian! awesome... I don't believe that a person/s that knows enough cryptography and computer science (in the early 2000), with a projection to the future of over 100 years will use anything to point back to themselves.
Every other fingerprint that Satoshi could have left, was never found or pointed nowhere... I can't believe that using his actual last name was a coincidence or something Satoshi did not think of.