Seder's grab bag - scriptsIt is sometimes necessary to remove comments (preceded by #), since this is not universally legal syntax. I tried to classify these scripts according to their cleverness and interest when learning how to use sed. Clever ones are not always faster; sometimes, more complicated techniques are also slower. Sometimes, longer and more complex scripts are mostly boilerplate, thus less interesting for the
