Correct, it is now archived but the last version release 1.8.8 from Sept 7 2022 is available and as a possible restore option because of the problems with zecwallet light is the only reason I mention it.
This post describes how to navigate to the directories that contain the config.json file and how to edit the server address.