I'm still curious on exactly what normalizing does: is it a straight scaling function, where the volume of every element in a track is dropped or raised by a proportional amount, or does it just lower the peaks and be done with it?

Yup, it's proportional. Everything is multiplied by a constant.