Source files for www.exploringthecloud.org