Julian Scarfe wrote:

You two are just arguing about terminology. I've always thought the norm is
to refer to an altitude measured on an altimeter (rather than another
instrument like a GPS) as "barometric altitude", with "pressure altitude"
reserved for the indicated altitude with 1013/29.92 set.

Ah! I wasn't aware of that. Of course I meant barometric altitude.

Stefan