removed 9.4rc banner