ECMAScript parsing infrastructure for multipurpose analysis
Extract section metadata and algorithm steps from specification HTML documents as JSON.