A few enhancements to the very basic tool shed statistics manager.