Ellen Agarwal

I'll look into it

This is theme specific and RTD theme doesn't want to fix it/hasn't fixed it. So either 1. We don't use the RTD theme 2. We make a bunch of headers...

Maybe update this to get the latest CI?

I mean update this branch to the latest CI which is 3.7-3.11, just merge master. If not, I can make a new PR with the same stuff.

Moved to #519

Implemented in rope 1.5.0

Good point - the tests are in memory so they should work but I'll look into the version table

That is a valid point - this can't get more than like 40% of docstrings so an import based solution would be better for these. On the other hand, I...

Still have stuff to work on and will need to incorporate #516 once its merged.

It'd be better to have it automatically use another venv path. You can probably do this in pylsp by editing the rope config.