There's another TODO here. It would be nice to also have some small introduction to this example.