@meyerweb both specs have the same source. @Hixie would have to add script to his publishing workflow to s/section/div.section/ in one case.