The ZIP file (less than 700 kB download) contains: