Adding new user documentation, in various formats, starting with PDF briefs