GHI is an adafruit distributor?

Is it true? This link has the old TinyCLR logo, but…

Very long time ago we sold one of their shields. I remember now.

You guys also used to sell this:

To use with the original Panda board.