Использование html5lib для преобразования фрагмента HTML в обычный текст

Есть ли простой способ использовать библиотеку Python html5lib для преобразования чего-то вроде этого:

<p>Hello World. Greetings from <strong>Mars.</strong></p>

to

Hello World. Greetings from Mars.