NavList thread: In Memoriam: Robert Gainer