> this would be a surprise to the Astro team!

That's my bad, seems my memory failed me here!