I was wondering whether the general policy is to keep the toolshed at toolshed.g2.bx.psu.edu compatible with galaxy-dist or galaxy-central. 

The reason I ask is that I went to install a tool from a production server I'm trying to setup based on galaxy-dist ... but got an error; 

Searching for this in the source code, I found that it exists in galaxy-central ... but not in galaxy-dist

Am I right in guessing that this error is due to toolshed.g2.bx.psu.edu being powered by a recent toolshed version that is incompatible with galaxy-dist?  If so, it would be great to get clarification as to whether this is to be expected in future.   My personal feeling is that the main toolshed would be much more useful if kept compatible with galaxy-dist.

Cheers

Ira