How can I link to a user profile by their user ID?

Development
6

I have created a plugin to enable this:

https://github.com/29th/discourse-user-by-id

/user-by-id/123/summary redirects to /u/janedoe/summary etc.

I’m still surprised I had to do this, but at least it works!