1.3. The tools

This section describes the tools we used during the process. Most are trivial to install and use. When neccesary, consult the appropriate url or manual.