Use three spaces, rather than tab, after '#' in shell-script copyright notices. Suggested by Bruno Haible.