When I do an HTML export, I notice that my headings are all converted from stars to numbers -- rather deeply. Is there an underlying DOM-like object that you can glean the org buffer's hierarchical structure from?