updated prime gap section, downloads, and mining