Sorry, I verified that the doc files are always downloaded, even when you don't
explicitely include them. The problem is that they are linked via a javascript
call to a servlet.