After installing Ubuntu 17.10 and trying to update it, there may be errors about index files failing to download. This can be fixed by running...