doc(homepage): update Dropbox links to Lean packages