Add devin.txt