I have long had it in my Steam library from some sale, and your comment finally pushed me to install it. Thanks! The manual is a wonderful read indeed - the introduction reads like a popular science artilce that is written better than most that get posted to HN front page.