When browsing the catalog on devarchy, it would be convenient to be able to star repositories without leaving devarchy. Suggested by @TLobes IRL. Thanks! Future reader: thumbs up this post if you want this feature.
