@leanprover/infoview
    Preparing search index...

    Type Alias TextInsertKind

    TextInsertKind: "here" | "above"

    An insert here should be written exactly at the specified position, while one above should go on the preceding line.