Documentation for the Inferno project.