Excellent, thanks for that second link! Of course, Eugene Shoemaker died in the 1990s, so that paper was in press for a while. :’)