I think we should open a new bug for that. See #5449