doc.js : better refresh list after delete
dropbox.js : multiple fixes on encoding bugs