Use correct option name (-opti) (fix #17314)

s/pgmo/opti

docs/users_guide/conf.py

@@ -36,10 +36,6 @@ nitpick_ignore = [
 
     ("c:type", "bool"),
 
-    # See #17314
-    ("ghc-flag", "-pgmo ⟨port⟩"),
-    ("ghc-flag", "-pgmo ⟨option⟩"),
-
     ("extension", "DoAndIfThenElse"),
     ("extension", "RelaxedPolyRec"),
 

docs/users_guide/ghci.rst

@@ -3416,10 +3416,10 @@ providing it with a temporary folder (where it will copy the
 necessary libraries to load to) and port it will listen for
 the proxy to connect.
 
-Providing :ghc-flag:`-pgmi /path/to/iserv-proxy <-pgmi ⟨cmd⟩>`,
-:ghc-flag:`-pgmo ⟨option⟩` and :ghc-flag:`-pgmo ⟨port⟩` in addition to
-:ghc-flag:`-fexternal-interpreter` will then make ghc go through the proxy
-instead.
+Providing :ghc-flag:`-pgmi ⟨/path/to/iserv-proxy⟩ <-pgmi ⟨cmd⟩>` and
+:ghc-flag:`-opti ⟨slave-ip⟩ -opti ⟨slave-port⟩ [-opti -v] <-opti ⟨option⟩>` in
+addition to :ghc-flag:`-fexternal-interpreter` will then make ghc go through the
+proxy instead.
 
 There are some limitations when using this. File and process IO
 will be executed on the target. As such packages like ``git-embed``,

utils/iserv-proxy/src/Main.hs

@@ -77,9 +77,9 @@ dieWithUsage = do
     die $ prog ++ ": " ++ msg
   where
 #if defined(WINDOWS)
-    msg = "usage: iserv <write-handle> <read-handle> <slave ip> [-v]"
+    msg = "usage: iserv <write-handle> <read-handle> <slave ip> <slave port> [-v]"
 #else
-    msg = "usage: iserv <write-fd> <read-fd> <slave ip> [-v]"
+    msg = "usage: iserv <write-fd> <read-fd> <slave ip> <slave port> [-v]"
 #endif
 
 main :: IO ()