Added section about Leiningen