An open version of the toolchain used to produce our User's Guides