On the pex side of things, would Twitter be OK with a tool that creates the custom pex using the official release wheels - aka pex?