Remove mention of blacklisted anchor game

specs/fault-proof/stage-one/anchor-state-registry.md

@@ -118,7 +118,7 @@ timestamp less than or equal to the retirement timestamp (`respectedGameTypeUpda
 the `OptimismPortal` contract. The retirement timestamp has the effect of retiring all games
 created before the specific transaction in which the retirement timestamp was set. This includes
 all games created in the same block as the transaction that set the retirement timestamp. We
-acknowledge the edge-case that games created in the same block *after* the retirement timestamp
+acknowledge the edge-case that games created in the same block _after_ the retirement timestamp
 was set will be considered Retired Games even though they were technically created after the
 retirement timestamp was set.
 
@@ -177,9 +177,8 @@ greater than the claim of the current Anchor Game. If there is no current Anchor
 become the Anchor Game if it has a Valid Claim and the claim's L2 block height is greater than the
 current Starting Anchor State's L2 block height.
 
-After a Game becomes the Anchor Game, it will remain the Anchor Game until it is replaced by some
-other Game. A Game that is retired after becoming the Anchor Game will remain the Anchor Game. A
-Game that is blacklisted after becoming the Anchor Game must not be used as the Anchor Game.
+After a Game becomes the Anchor Game, it will remain the Anchor Game until it is replaced by some other Game. A Game
+that is retired or blacklisted after becoming the Anchor Game will remain the Anchor Game.
 
 ### Anchor Root
 
@@ -188,10 +187,6 @@ Game instances. The value of the Anchor Root is the Starting Anchor State if no
 been set. Otherwise, the value of the Anchor Root is the root and L2 block height of the current
 Anchor Game.
 
-If the Anchor Game exists and is blacklisted, the AnchorStateRegistry will have no Anchor Root,
-will not allow new Dispute Games to be created using the Anchor Root, and will not allow the Anchor
-Root to be updated except through manual intervention.
-
 ## Assumptions
 
 > **NOTE:** Assumptions are utilized by specific invariants and do not apply globally. Invariants