jd41

I actually disagree that "Title" looks worse than "hoverxref". What about "example_file.rst", "Example section title", and "example_label"? The important thing is just that they are all different and unique (i.e....

Hi! Sorry, I didn't understand I should have clicked on "re-request review". Would you like to decide on how to call them for now, and merge that thing? I feel...

I am making a note here hoping that it's remembered to update the README.md in JupyterLab once this PR is merged, see [here](https://github.com/jupyterlab/jupyterlab/issues/9259#issuecomment-753663694) for more information. What's the procedure that...