We are going to publish some of the DinoTools projects on github. So feel free to contribute to them by sending pull requests or by sending bug reports. For more information have a look at our ["DinoTools" organisation page][http://github.com/DinoTools] on github.