Do people still use URL shorteners…? I would guess the usage has declined in the past 10 years or so.
I'd rather link to the original but save it on archive.org as a backup. Of course whoever uses the broken link would have to know to go look it up on archive.org.
risk of shorturl site going away > risk of website going away > risk of archive.org going away
In this case though, it's still just code documentation so ideally it should be somewhat possible to figure out what's going on without a link to an external site. It's just about minimizing the risk.
0x.co
… gets light usage …