Update the release HOWTO following the 3.1 release