Yes, indeed. I finished the book in the end! Or rather, I stopped writing it. A book like this can easily be revised and improved for another 10 years, but I’ve been at it for 5 years already and perhaps now is a good time to stop. I’m actually pretty happy with it. All material, as you know, is available on this web page, but you can also buy it as a regular book when it appears sometime next year.