Manual profile download

As an alternative to online sources, profiles can also be updated by manually loading files containing the update. This is mostly useful on computers that are not connected to the internet. Files containing the configuration updates can be downloaded from the website.