They could have done both.

If it’s not fixed by Monday, I will consider starting the approval process from the legal department that requires it from me.

I wish I had the freedom to just open a PR anywhere anytime, but I don’t.