Arduino IDE updates should merge in fine - though we will track their major releases and release along side - so it should not be needed.