Text this: Formal Diagonalisation of Lax-Darboux Schemes