Revert "small change"

This reverts commit 5836d06cd10b4695392def29e54409e0073ddcf3.
Revert "add blinddog2 folder to repro"

This reverts commit 3d0f1df4534512e89ab068d671b8eb6c9a828231.
Revert "gitignore"

This reverts commit 40f38c3d40d7b2e0a299f92ab19d8749694aa2dd.
Revert "…"

This reverts commit 72702fa464510d6fb11088394a41fe8313dab814.