Editing: servers.catalogue.lst