Opening a GitHub issue is probably the way to go.
Opening a GitHub issue is probably the way to go.