Update shell_topcomment.sed, just a minor fix to save some horizontal
    space and fit top comment up to 72 characters width. Generally, I use
    70 characters for textwidth but since inside comments the `# '
    consumes two characters I extended it on comment section to 72 - 2 =
    70 ;).