I added some tools I'm using to my git repository
New release 0.8.12. New graphics, new internal api.
New release 0.7.3. bug fix reported by the community and a few enhancements
New bug fix with tag not updated when moving files
A bug fix when moving files and new functionality