Convert bookmark file created by Chrome to well-defined HTML file.