Use full GitHub links instead of bare issue numbers.

[clokep]

This makes it so you can just click on the link in editors / GitHub and it properly works.

[DMRobertson]

Hopefully this was a sed job!

[clokep]

Hopefully this was a sed job!

grep -rE "#\d+" . | grep -v ".ruff-cache" | grep -v "state.json" | grep -v "Binary file" | grep -E "#\d{2,}" | grep -v "\.css:" | grep -v "\.html:" | grep -v "\.json:" | grep -vE "\[\\\\?\#\d+\]"

and then manually changing them via a regex in my editor. But...not too bad.