Status report

Hey, everyone!

I'm still in vacation mode, but I am making progress on v0.13, only slower than usual.

Likely release month is September or October.