A technical report from the development team.