Update index.bs per 30 July WG call

s/resolved/formally addressed/

Author: wseltzer

spec/index.bs

@@ -2941,7 +2941,7 @@ Note: write down the Acknowledgements section.
 <!-- ====================================================================== -->
 # FPWD Issues # {#openissues}
 <!-- ====================================================================== -->
-Note: The WG has labeled the following issues as critical open issues that must be resolved before publication of a Candidate Recommendation.
+Note: The WG has labeled the following issues as critical open issues that must be formally addressed before publication of a Candidate Recommendation.
 
     <ul id="issueList">
 <li>Issue 240: <a href="https://github.com/fedidcg/FedCM/issues/240">Users can't use IdPs outside of the ones enumerated by RPs</a></li>