String interpolation with pipe

Looks totally OK, it’s relatively new though; there was no such syntax three years ago :slight_smile: