I reverted this so that the user has to write a script to call the `numberHeadingsIE7` function on their pages. I updated the docs with how to do this.