RoboSat v1.2.0 — state of the art losses, road extraction, batched extraction and rasterization https://www.openstreetmap.org/user/daniel-j-h/diary/368726