Porting from odin

Authored by:Rich FitzJohn inodin.dust 0.3.13.
Source:porting.Rmd, Vignette:porting.html. Last updated:2023-09-26.