<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def aloha_to_html(html_source):
 """Converts HTML5 from Aloha to a more structured HTML5"""

    xml = aloha_to_etree(html_source)
    return etree.tostring(xml, pretty_print=True)