YES, exactly this!
Having to do correlation in logfiles is not nice!
Ideally we'd have a log line saying that ssh not only accepted a public key, but everything (including pam session setup) was successfull and after that produce a log line that the user logged in eg. with this 'public key'.
But for the beginning just adding the ssh key fingerprint in the Accepted public-key line would be fine!