[doc] fix typos in attr.dtx
draft user whatsit allocator