2 ms·

Thanks for this. I know we're technically supposed to use the upvote button to express gratitude, but that just doesn't feel sufficient in this case.