fxm wrote:I think the documentation for 1.07.2 and 1.07.3 is intentionally the same as that used for 1.07.1 (2019-09-27).
Yeah, it would be too much to have a separate wiki to maintain 2 manuals. A lot has changed for 1.08.0; it wouldn't make sense to package the latest documentation for 1.07.x.