The most important fact about derived complete modules is that they form an abelian category. My feeling is that the "derived complete modules" terminology serves to hide this fact, while my "contramodules" terminology (while certainly clumsy in some usages) is intended to emphasize the fact.
Anyway, I expect to see a lot of confusion around this concept in the near future. I wish my writings could do a better job of clearing up the mess for the rare dedicated reader.
Одной строкой Прибыл Прагу благополучно холодно дождь Хайфе жарко хамсин вместо дома пришел офис обнаружил столе посылку пять авторских экземпляров мемуара французского матобщества