Coming from Russian (you do speak it too, right?) it's always interesting to see what the convention is in different languages. I'm used to UIs addressing me formally (Вы == Sie) because everyone's been doing that since forever. But then in Spanish it's "tu", everywhere. German translation in Smithereen is also using "du".
@grishka
From my Russian friends, I gather the informal is relatively rarely used.