Shrink SpainAfrica away

* europe (Africa/Ceuta): Add no-op line that clarifies when Ceuta
reportedly used Morocco rules; this helps zishrink.awk.
* zishrink.awk (process_input_line): Omit SpainAfrica rules,
as they duplicate Morocco’s.

europe

@@ -3424,6 +3424,7 @@ Zone	Africa/Ceuta	-0:21:16 -	LMT	1900 Dec 31 23:38:44
 			 0:00	1:00	WEST	1918 Oct  7 23:00
 			 0:00	-	WET	1924
 			 0:00	Spain	WE%sT	1929
+			 0:00	-	WET	1967 # Help zishrink.awk.
 			 0:00 SpainAfrica WE%sT	1984 Mar 16
 			 1:00	-	CET	1986
 			 1:00	EU	CE%sT

zishrink.awk

@@ -172,6 +172,11 @@ function process_input_line(line, field, end, i, n, startdef)
     if (line ~ /^R /) return
     line = substr(line, 1, RSTART) substr(line, RSTART + 5)
   }
+  # Replace SpainAfrica rules with Morocco, as they are duplicates.
+  if (match(line, / SpainAfrica /)) {
+    if (line ~ /^R /) return
+    line = substr(line, 1, RSTART) "Morocco" substr(line, RSTART + RLENGTH - 1)
+  }
 
   # Abbreviate times.
   while (match(line, /[: ]0+[0-9]/))