Porting long strings after `to_additive`?

Stream: mathlib4

[Thomas Murrills]

What's the standard way to port these long strings to satisfy the linter? E.g.,

@[to_additive
      "The additive monoid homomorphism including a single additive\nmonoid into a dependent family of additive monoids, as functions supported at a point.\n\nThis is the `AddMonoidHom` version of `Pi.Single`."]

I'll add this to the porting wiki in the to_additive section once I have the answer :)