Besides, the file is reloaded twice in a short lapse of time if the user asks for a reload (i.e. does an interactive request such as completion ) close to 300ms after he stops typing. It seems like an edge case.