remove_instructions should update no_sync_with

Related: #51 (closed)