More asdoc work: add missing tags and comments.