Oops, just realised I forgot to reply. Hopefully you're signed up to get emailed reply notifications, to see me say: thanks for this interesting comment!