rename packages repo

Author: paperbenni

faq.md

@@ -25,7 +25,7 @@ So you will have to select the manual partitioning option and set it up yourself
 The instantOS tools are on the [AUR](https://aur.archlinux.org/).
 If not, you can add the custom repo, e.g. by running [repo.sh](https://raw.githubusercontent.com/instantOS/instantOS/main/repo.sh).
 Use your regular package manager to install any instant packages you like.
-In case you wondered, the corresponding PKGBUILD have their own [repository](https://github.com/instantOS/extra).
+In case you wondered, the corresponding PKGBUILD have their own [repository](https://github.com/instantOS/packages).
 This works on most Archlinux variants, too.
 
 ## How do I build an instantOS component from the source repos

index.md

@@ -41,7 +41,7 @@ features:
 
 **instantOS** is an Arch Linux based distro that works out of the box but is still aimed at power users. Everything is lightning fast, flexible and just works.
 
-In addition to the usual [Arch packages](https://github.com/instantOS/extra), we also package for the [Nix](https://nixos.org/explore.html) universal package manager (and [NixOS](https://nixos.org)) via **[instantNIX](https://github.com/instantOS/instantNIX/)**.
+In addition to the usual [Arch packages](https://github.com/instantOS/packages), we also package for the [Nix](https://nixos.org/explore.html) universal package manager (and [NixOS](https://nixos.org)) via **[instantNIX](https://github.com/instantOS/instantNIX/)**.
 
 ## instantOS beta 7 released
 

links.md

@@ -36,7 +36,7 @@ used to build the instantmenu package
 Dotfiles shipped with instantOS
 used to build the instantdotfiles package
 
-### [extra](https://github.com/instantOS/extra)
+### [packages](https://github.com/instantOS/packages)
 
 Contains all PKGBUILD files for instantOS packages and a list of AUR packages to
 be precompiled and hosted on the instantOS repos