Add a comment here basically saying what you said in the PR: this isn't great idea but we don't currently see a better way to do it.