Is post-editing really faster than human translation? - Silvia Terribile (CoRR, 2023)