So where is his public key?

It’s actually stored along with the bitcoin Satoshi generated by mining block #9.

Follow the link to the source transaction at the top of the input #0 section. This is the transaction Satoshi created by mining block #9. The transaction creates 50 BTC and locks them under control of... a public key! Find the data beginning with 0411... in the scriptPubKey.

The public key lives between the script commands OP_PUSHBYTES and OP_CHECKSIG. Paste it below: