SecretSpec 0.13: SDKs for Python, Node.js, Go, Ruby, and Haskell