Thread:Blupo/@comment-35177747-20181125025015/@comment-31118935-20181125180558

We don't have any style guidelines, but I prefer that it's italicised.