Grand Unification in the Spectral Pati-Salam Model (Leiden)