M1: 20 October, v0.13.0 and v0.13.1 released, readable release pages, Demo 1 on preprod
505 landed; 528 lane opened
Demo 1 checkpoints: rehearsal improvements in merge order with their tickets