Support has told me that they will refer this issue to the development team for review and possible patching.