@kenny No, that’s just a bug I think. Could you file an issue for that and I’ll fix it?

There are a couple of related things I’d like to fix at once.