Ah, I note I recommended doing this approach a while ago ;-) I think we would probably be better off including it as a .json file, although I'm not sure the best way to do that. For the interim, what's here is almost certainly good enough, though