Clarified Servlets#facesRedirect() javadoc more.