Header for the Internet Pearls zipfile.
