Gnome 3.2 has been released. This time around, the developers have focused on a large number of small improvements rather than big, headline features. That said, there are a couple of interesting new additions in the areas of web integration and personal data management.