References and long lines

Stream: mathlib4

[Michael Stoll]

I'm trying to add a refrerence to a Mathlib file, which looks like this:

[A. Ostrowski, *Über einige Lösungen der Funktionalgleichung φ(x)⋅φ(y)=φ(xy)* (Section 7)][ostrowski1916].

This line is over 100 characters long, and the linter flags it.

Question. Is it OK to break this into two lines (without the documentation missing the link)?
If not, should the long lines linter special-case (and thus allow) this?
Note that it seems to be doing that for hyperlinks [text](url)already.

[Ruben Van de Velde]

Yes, you can break

[Damiano Testa]

URLs are excluded because the linter silences itself when it finds http in the line. I'm not sure about publicising this too much, lest people start beginning all their lines with /-http-/ ....

[Damiano Testa]

As for silencing on references, this is a little trickier: there is no clear substring that identifies references (essentially) uniquely and the linter does not have an awareness of whether the exception is coming from a doc-string/comment or elsewhere.