Tweaks to the recent Tool Shed API enhancements, making them more RESTful.