Fixed bug in favorites sync affecting editors that replace a file with a work copy instead of directly writing the file