there are no open bugs on 0.13.1 except the one I just added a workaround for, so I think we might as well go ahead