Weird. Noted with thanks, will keep an eye out *for a github issue, and raise if we don’t see one!