diff --git a/info/Options.t b/info/Options.t
index ade9d21f..119ffcba 100644
--- a/info/Options.t
+++ b/info/Options.t
@@ -28,14 +28,11 @@ The following options were introduced in the Empire2 Server:
 
 HIDDEN:		Hides information about countries you haven't contacted
 LOSE_CONTACT:	In HIDDEN, lose contact after a few updates
-BIG_CITY:	'c' sectors cost $, lcm, hcm to build and hold 10x civs
 INTERDICT_ATT:	Interdict units & mil as they move in after an attack
 
 The following options were introduced in the Empire4 Server:
 BRIDGETOWERS:   You can build bridge towers, which allow you to build
                  bridges from them.
-DEFENSE_INFRA:  Use the new defensive infrastructure.  Otherwise, use
-                 sector efficiency for defensive values.
 GODNEWS:        The world is told via news when deities are giving or taking
                  things from players.
 GUINEA_PIGS:	Experimental stuff not ready for prime time.  Enable at your