Use Haddock to generate passwords for secrets file