Do you know if there is the option to choose a mirror already? I wanted to do a local PXE installation and it wasn't possible