Arduino library updates are still a little rough for me, and have been for quite some time. Long ago, library updates were simpler. When manually updating a library ...