def clean(s):
    """
    Attempt to render the (possibly extracted) string as legible as possible.
    """
    result = s.strip().replace("\n", " ")
    result = result.replace("\u00a0", " ")  # no-break space
    result = result.replace("\u000c", " ")  # vertical tab
    while "  " in result:
        result = result.replace("  ", " ")
    return result