It is not possible for me to follow up on this, as it was only discovered due to an unexpected delay in budget allocation and the maintenance pack was renewed yesterday. However, I thought it was something support would want to know about since this is at least the second time something similar has happened.