DEVSIM manual source files available The source files to the DEVSIM manual are now available from: https://github.com/devsim/devsim_documentation