refactor: clear distinction between actual and effective pmtu