Yes, the Typed Racket repo is probably the right thing to base it on

https://github.com/Bogdanp/setup-racket/tree/v1.2#local-package-catalogs :smile:

You’re a hero!

Although I don’t totally understand the statement about order: if they’re added in order, the first one should have priority.

You’re right, that was an implementation detail leaking out and it is confusing on second look. The wording was also confusing, because they weren’t being prepended as a group, but individually. I’ll push a fix.