Jerome Martin - 2008-09-29

Erratum: the previous description assumes in some parts that headers are indexed starting from 1. This is not the case, the first header Foobar being $(hdr(Foobar)[0]). I do NOT suggest to change this, merely typed too fast in the previous post.