3 ms·

I thought Github looked for an actual code difference in the PR creation process, but it seems you're correct! Thanks for the tip.