Bit: Comment typo fix
AUTHORS: Link to yices-painless; email address; wording

Perhaps not quite “shamed the author”. :-)