[analyzer] Extend the checker developer manual. A patch by Sam Handler!