Re: what to do about typoes in online docs?