The proposal is actually for "favoriting" a repo, but I'm wondering if ratings shouldn't also be a list, or should they be labels, or... What do you think nostr:npub1m3xdppkd0njmrqe2ma8a6ys39zvgp5k8u22mev8xsnqp4nh80srqhqa5sf ?