Hey, sorry for the delay in replying.
I think generally, we've leaned toward more informal / friendly forms of language. Since the English we use in stuff like microsites (e.g. http://whatisdnt.com/
) is pretty informal we would expect the translations to reflect that.
We trust the judgment of translators a lot to take the context into account on what form to use. If you think the formal form should be used in a given case, then please feel free to submit that and if the consensus is that it's correct it will be up-voted over time.
With the new version of DuckDuckGo, some of the URLs in older token notes currently don't expose the target token. In some cases the feature has changed and the URL is no longer valid. In others, the feature has yet to be ported across to the new version.
I am currently working on some features for the translation interface which should give people better information on where the token appears and how it looks. Reporting bad translations and retiring older tokens is also planned.