mathlib3

a05b35ca - doc(*): wrap raw URLs containing parentheses with angle brackets (#6554)

doc(*): wrap raw URLs containing parentheses with angle brackets (#6554) Raw URLs with parentheses in them are tricky for `doc-gen` to parse, so this commit wraps them in angle brackets.