Text this: Gentzen Calculi for Modal Propositional Logic