NavList thread: Kepler and the invention of logarithms