Source files for the Codea documentation.