def format_output(header, content):
    """
    Formatted the result header and content, separated by double newlines.
    """
    if content is not None:
        if type(content) == str:
            content = [content]
        return "\n\n".join([header, *content])
    else:
        return header