+#
+# Split single text file with numbered sections into multiple files,
+# one per section.
+#
+# Simple Bash script to add title to the resulting files:
+#
+# for i in `seq 1 350`; do
+# sed -i '1s/^/The Storms of Chai\n/' $i.txt;
+# done
+#
+# See https://www.projectaon.org/en/Sanctum/Howto-proofread