Text this: Fundamental groups of proper varieties are finitely presented