I heard that 7.1 didn´t had fully independent GNOME and KDE environments, as 7.0 did. I also heard that 7.2 is out. The questions are: does version 7.2 have fully independent KDE, GNOME and ...