Nobody has mentioned this, but it could be important: don’t the domestic flights at LIS now use terminal 2? (This came up when I was talking to a TP FA last week...)
This would mean that the OP arrives from OPO in terminal 2 and leaves from terminal 1.