one thought i forgot to mention in core daily: could we try to make new releases for 0.12 and 0.13 today, some time after the automation call? we have a bunch of good little fixes to deliver to users