I have reinstalled my laptop and changed hostname; I connect it to a kopia server and I know I can manually change my login hostname to use the old one (and keep policies, etc…); but I would like to change the hostname used in the repo. Is there a way to do so?