[ros-users] wiki default ROS version

Hi,

Question … when I go to the ROS wiki (say http://www.ros.org/wiki/image_view) the default button at the top is always set to diamondback. Now that electric is out, shouldn't the default button be set to electric? Don't know if there is an easy way to change this across the wiki or not.

Kevin