If someone could file me an issue for that I’ll get that namespace added to the stubs list.

https://github.com/cursive-ide/cursive/issues/2330

Looks like someone already did

Oops

Ok, I’ll look at fixing that, thanks!

Thanks for jumping on the issue whenever you do!