Sounds good! Looking forward to your PR.
Really? I must have misremembered. Let’s not add this instruction to the PR, then.