Thank you for the reply !
So, all is safe, ie in such cases with restore point files, and no action needed ?
Are there cases where such files, ie ‘password protected’ files (restore point files, etc) could be ‘infected’, and would Avast be able to detect/fix ?