Somebody on Reddit got the full 400 line devin AI system promptgithub.com/x1xhlol3 pointsTech_Nomada year ago