Hacker News Reader

probably under a wrong thread, but can you point me to the one you intended? Really curious about that

Haha, I've often wondered how one could answer to the wrong thread on HN, and there I am :)

And z4 is, of course z3 (no I don't have special access to next-gen version of z3)