Statistical Rethinking 2nd Ed, Ch 16: Population Dynamics?

In general, the Statistical Rethinking 2nd Ed. PyMC3 port has been super helpful. And it looks to be nearly complete in terms of content from the source. One example I’m not seeing here is population dynamics regarding hare and lynx populations. (It’s page 541 in the text.)

Is this something I’m missing? Are plans in the works to port this exercise over? I know that Brandon Willard has worked in the Differential Equations territory of PyMC3 universe and that this material falls squarely in DE territory.