Re: Mozilla update: no update to devhelp?