Text this: Irene Flunser Pimentel, A história da PIDE