use use_undo=false for [do_command]

...if we are already in a synced_context.

undoing usually also removes things from the replay, so we cannot undo things if the don't put things in the replay.