Linking to a `%` method fails

[faultyserver]

Example: https://drops.pm/#Integer#%

Going directly to that link will fail to load any documentation. Clicking #% in the sidebar of Integer will not take you to the method documentation.

This happens because % is a special character in URLs, and the browser is likely trying to interpret it as an escape sequence, but fails since there is no data after the character.

The culprit seems to be this line:

myst-docs/docs.js

Line 132 in fcc0ed7

let full_name = decodeURIComponent(window.location.hash.replace(/^\#/, ''));

decodeURIComponent is attempting to parse the escape character and failing, causing a JS error and stopping the rest of the execution.

I think decodeURIComponent could probably be taken out, or at least be made optional (i.e., try decoding, but fallback to the raw string if it fails).