Just a quick update. We left my hotel in Miraflores at 4.25. It's now 5.10 and I'm at the gate.
Taxi drive up to 140 km/h. 1 person ahead of me at checkin, nobody ahead of me at security or immigration. The airport is busy but it seems to be mainly domestic passengers at this time of day.