How funny! I was going to ask you that question, but you were away at the time.

My feeling is they don't need to back up and restore either the settings.xml or respository/ directory.

Do you agree?