Final form of esoteric sed script

filter_sage.sed

@@ -2,11 +2,10 @@
 
 0,/^\\begin{sagesilent}/d
 /^\\end{sagesilent}/,/^\\begin{sagesilent}/{
-	s;.*\\sage{\(.*\)}.*;# RENDERED TO LATEX: \1 #;
-	T end; h
-	s;\S;#;g
-	H; G; a
+	s/.*\\sage{\(.*\)}.*/# RENDERED TO LATEX: \1 #/
+	T skip;
+	h;s/\S/#/g;H;G;a
 	p
-:end
+:skip
 	d
 }