You are correct, and as I said, my AMP *doesn't* have Pro-Logic II steering. It *does* have AC3 decoding.
"I've always felt uncomfortable about creating a "fake" 5.1 mix from a matrixed 2-channel source"
But it's simply the Pro-Logic II equivalent, stored in 5.1.