re: #507 zombie
I didn’t know that, I always thought it was named after the “inventor” Ackermann. I wonder how it got that name anyway.