Thanks in advance for your bug report!

• Have you reproduced this issue in incognito/private browsing?
• Have you made sure you issue doesn't already exist?

Where is the URL that this occurs?

https://docs.pulsar-edit.dev/using-pulsar/packages/#pulsar-themes

What's your issue?

The link pointing to https://docs.pulsar-edit.dev/using-pulsar/pulsar-basics/#changing-the-theme, found in this section is broken:

Which OS/Browser/Version does this happen on?

All

Steps to Reproduce/Additional Details:

No response