Translations:Manual:Upgrading/80/en

If you want a lot of extensions then downloading from Git is probably best.