Release: Update splash
Release: Update version numbers
Release: Splash for RC1
Release RC1. Update NEWS files.