HTML post-processing script improved.