dox misc. files
