a few sed scripts of mine for cleaning up html, eg for ebooks