Fix addon repository registry file being read and written too quickly for changes to be detected with timestamps.