@WG-prioritization/alerts issue #74836 has been requested for prioritization.
This seems like a very specific issue that's unlikely to have any real-world consequence, so I'd go for
I personally think
P-low is fine here
Considering that it hasn't been noticed for more than 30 versions
Issue #74836's prioritization request has been removed.
marked as p-low