No rush. Also fine to stick with the current version for now (with a README that explains the limitation) and do the update when we get round to it, or if we find that it's really needed.

Thanks!