Add #record attribute to RecordNotFound and RecordDestroyed exceptions.

This allows these exceptions to be handled generically in conjunction with RecordInvalid.
Same thing about nodoc and the blank line