documentation and symbol-files