Remove outdated comment

Author: jneira

.azure/windows-stack.yml

@@ -84,7 +84,6 @@ jobs:
       stack build --stack-yaml $(YAML_FILE) --test --bench --only-dependencies
     displayName: Build Test-dependencies
   - bash: |
-      # TODO: try to install automatically (`choco install z3` fails and pacman is not installed)
       mkdir -p /usr/local
       curl -L https://github.com/Z3Prover/z3/releases/download/Z3-4.8.5/z3-4.8.5-x64-win.zip -o /usr/local/z3.zip
       unzip -o /usr/local/z3.zip -d /usr/local/