3 ms·

Thanks for your reply. I will definitely consider using a more explicit public-domain equivalence in the future.