@hadley I made a suggestion. See here. Not sure what's easiest: to just view my commit or to create a PR? I just didn't think it was worth a PR before you had a look and I heard your thoughts on the examples (probably still a lot of work before a PR is relevant). Let me know what you think; both about the examples and about how it's easiest for you to view it.
@mikldk sorry I missed this — that looks like a great start, and I think it's worth turning into a PR. I think it's useful enough to merge with a minimum of work, and then we can continue to build it out over time. Thanks for your help!