Cool. I'm OK with either removing this definition and just putting it as an example in the documentation, if that makes sense to you.