Re: [math-fun] Hey Kids: Did Norman Johnson (and PolyhedronData) forget AugmentedHeptagonalPrism?