> Two bugs were fixed in the meantime:
A third one:
- broken downloads (not cleanly interrupted ones) of files stored directly on
disk (ie. non-html and related files) lead to retransfer them
This bug still remains for remotely compressed files, but the impact should be
reduced, as html/css files are already processed in memory