sources of shared background documentation to be included in different application user manuals (LaTeX or Word)