Adding a download page, a package manifest, and a mini version