Close to the second option. When subtracting the exp from the local version, also manually subtract it from the cloud.
This isn’t technically the most robust way to do it, but it’s simple and Good Enough for the mast vajority of situations.
Dev philosphy 206: If the fix covers 95% of use cases and takes 5% of the time a complete fix would require, do the quick fix. Do the big fix later. I support your approach lol