Re: [math-fun] Hyperbolic asteroids