GNOME 3.14 is now out. It’s a release full of polish from the desktop environment once preferred by most Linux distributions—and almost a story of redemption. After arguably losing its way around ...