I'm glad it was useful! As far as the naming of pony-stable goes, we've had some conversations about that. We use Pony where I work, and sometimes we can confuse ourselves when someone says "Pony stable" (especially back when we were maintaining our own fork of Pony).