small HOWTO.RELEASE updates