A script to extract `<div class='section'>` from HTML