use python’s built-in HTML parser