Firefox bookmarks export to pretty HTML in Python