4 ms·

Thanks for that. Indeed, doesn't sound worth the effort to pursue it if google was mostly going in the same direction anyway.