Hi Sebastien. First of all, thank you for your feedback. Regarding to your comments:

* Yes, the header was highlighted when clicking on the correspondent one in the panel (I have to recover the feature -most probable as option-... since the whole extension was refactored almost from scratch, there are features that are still pendant of being added/recovered). So thank you for commenting it because helps me in the prioritization of tasks

* I would like to know the use case for retrieving the headers structure for the HTML that is not modified by javascript. The tools is initially meant for giving the structure that the browser renders, so the one that the HTML has without any behavioral change was not considered. In order to consider implementing that feature, I would like to know and understand the use case. Could you please give me some feedback on it?

Again, thank you very much for your feedback and comments.