Temp files are handled by FileJuggler (in org.daisy.util). However, when temp files are kept in Dotify, files are copied from the current temp file. This is somewhat ineffective. It would be better ...