minimal setup instructions in docs/Setup.md