Re: nettle documentation tweaks?