You're welcome; I had to dig to find it. I, like you, would have preferred to see the motivation in the top-level documentation. It helps so much to see the core concerns that an abstraction is built upon, especially something as tangled and complex as a high-programming language.