[BUGFIX] OOo-based manuals should not get archived for download