git reflog expire: document --stale-fix option.