Files created while writing the documentation. For reasons of privacy and file size, these files were generated manually.