HeaderID Ext now handles raw html in ids. Fixes #232