convert: fix headings again

Mark Ferry commited 2022-05-13 21:42:29 +0100 commit c8f85eb5f4ab9efb331887bb3f7341f897811331

				convert.sed
			
          @@ -9,8 +9,9 @@

           	i [[_TOC_]]\n

           };

          -/# 1.  /p

          -/On this page/,/# 1./d

          +/# 1.\s\+/ {s/1.\s\+// p}

          +

          +/On this page/,/^# \w/d

           /javascript:toggle/d

           / #toc/d

           s/^\(#\+\)\s\+[0-9.]\+\s\+/\1 /

...	...	@@ -9,8 +9,9 @@
9	9	i [[_TOC_]]\n
10	10	};
11	11
12		-/# 1. /p
13		-/On this page/,/# 1./d
	12	+/# 1.\s\+/ {s/1.\s\+// p}
	13	+
	14	+/On this page/,/^# \w/d
14	15	/javascript:toggle/d
15	16	/ #toc/d
16	17	s/^\(#\+\)\s\+[0-9.]\+\s\+/\1 /