Merge pull request #1523 from hash1go/patch-1

fix: correct spelling of 'OptimismPortal' in upgrade-13 notice

Author: sbvegan

pages/notices/upgrade-13.mdx

@@ -69,7 +69,7 @@ Several components have been updated to improve incident response capabilities:
 
 **OptimismPortal**
 
-*   `OptimsimPortal.setRespectedGameType(...)` no longer sets the respected game type and retirement timestamp simultaneously
+*   `OptimismPortal.setRespectedGameType(...)` no longer sets the respected game type and retirement timestamp simultaneously
 *   A special reserved input value can be used to set the retirement timestamp
 *   `OptimismPortal.checkWithdrawal(...)` now asserts that a FaultDisputeGame was the respected game type at the time of creation