This message was deleted.

you could file a github issue, or talk to support if you have a paid support plan.