GNOME is discussing big changes, Elementary OS has big news, and a big bug has been found in Linux.