I don’t know of any, but tracking it in the issue tracker is certainly the right thing to do. Thanks for putting that there and I will ask some folks to put their eyes on it.
Of course, if you’re an Enterpise Edition subscriber, it’ll be good to raise it to support/your account team as well.