Header changes through extra_heads should now be recorded properly by RXML and played back with correct header values. Reported in [RT#16690] but also observed independently. Rev: server/base_server/prototypes.pike:1.281 Rev: server/etc/modules/RXML.pmod/module.pmod:1.421