On 2022-01-08 8:39 p.m., Stewart C. Russell via talk wrote: > At least its better than Microsoft, whose embedded docs are > essentially just Bing searches. Man RTFM. ;-)