[simonw]

I've discussed this technique with GitHub employees about this technique in the past and no-one has raised any concerns about it. Maybe I wasn't talking to the right employees though.

[drhayes9]

No, that's great to hear! My concerns are assuaged.