Docs 'name already taken' - but it's not taken

Minor inconvenience: I get an error message when adding Docs:
image
In this example, I am trying to call it ‘Numpy’ and it is saying that it is already taken, but it is not in my Docs

image

Not sure if ‘crawler’ was created before or after this was posted. Currently Cursor automatically indexes documentation for a large number of projects. I agree that the complete lack of information or feedback when trying to add docs should be considered a bug.

But until it’s fixed, you can manually check the crawler repo to see what’s already accounted for. ‘NumPy’ is already in the list, so you would need to use a different name if you are using a different URL.