First of all "a very great tool you've created"!
I think it would be very convenient if there would be the possibility to add a date/time stamp to the filename for the download in the export/dump function.
You can customize the file format by customizing the method dumpFilename() starting today. There's also a plugin dump-date for it (works only with Git version).
Thank you very much,
it works like a charm