Thanks for that - the GitHub app “helpfully” collapsed this comment (along with most of the others in the thread), so I was confused how the headline related to this issue.