What does this red dot mean in custom docs?

Hi @Blorf299 ,

Here are the values I used at:

Cursor Settings > Features > Docs > + Add new doc

when using 0.41.3:

// initial input field 
https://getuikit.com/docs/introduction

// prefix
https://getuikit.com/docs

// entrypoint
https://getuikit.com/docs/introduction

I am now also getting:

Indexed 0 pages  

There are no logs present in Output > Window.

So seeing how these settings worked when i last tried it, I would say there is possibly a bug.

Below are screenshots of what I attempted:

Screenshot 01 - Add new doc

Screenshot 02 - Specify prefix and entrypoint values

Screenshot 03 - View indexed pages