Page "Borel–Serre compactification" not found :(