Then we can paste it into github comments and it will format nicely, and more compactly, without triple-backquoting it.