mathlib3

docs(algebraic_geometry/prime_spectrum): linkify url in module docs

#2288

Merged