We had a bug that, for some accounts, Dropbox and Basecamp txt files were not converted into Google Docs format. So these txt files were not editable in Google Docs. We have fixed the problem