@fernetmenta: Ah sorry, I mistook updatefilestate with savefilestate when
reading the description.