We plan to add a hidden site setting here so we can append stuff on demand to robots.txt for rare cases like this. It will require console access, but we can take care of that for you.
We will let you know once it is deployed ping our team email with the specific text you need added 