Linux Top 3: Red Hat Gets Certified, Wayland Hits 1.0 and Linux 3.7 Ramps Up