WIP: more on extension headers