Sky textures are from http://mikepan.homeip.net/resources/earth: "these high resolution sky boxes can be used for any non-commercial purposes with or without credit."