3A85b: Removed Developer from preferences.

Now developer tools are distributed as an individual installable bundle.