Adapt to use of `TFL.formatted_repr`