Talk:Baily–Borel compactification