Update Devin.txt