This repository contains the raw source for the developer's manual as well as some useful support files.