Hi! I wrote a comment on Talk:Theos/Setup for you. Thanks for reporting the problem. Mostly people ask jailbroken iOS development questions and share advice on IRC (How to use IRC); you're welcome to join in there if you like as well. Britta (talk) 15:14, 9 February 2015 (PST)