Linuxトピックを「GNU/Linux」トピックにしました。というのもGNU 20周年だからです(ってわけでもないけど)。