pub fn refresh_after_upgrade(version: &str)Expand description
Move an existing receipt forward after an in-place upgrade.
Only ever an update: a missing receipt stays missing. devp update --install can
replace a managed copy that some other manager installed, and inventing a receipt
there would claim an installer ran when none did — exactly the drift this file exists
to prevent. Best-effort by design; an upgrade does not fail because a note about it
could not be written.