He was the astronomer whom they're naming all those recently discovered planets after, right?

I'm not picking up on the pattern here, but that's probably just me being thick.

He was an astronomer, yes, but I'm not sure which planets you're talking about.

Also, you know Brickeens used to do entries like this on the first of each Gregorian month? I'm doing the same, except the the Tranquility months.