Change patterns path from patterns to pat in download.html. Fixes #234