I've raised this as ticket ID 4114793, just in case.