The toolset for managing both the website and TeX sources of the Stacks project