div[1-9] converted to plain divs. (In response to redmine Feature #77: numbered <div>.)