NavList thread: Re: micrometer and its origins