It's not a problem but an idea.
What about have the GitHub/Gitlab stars for a repository, reflected on the TER as well? This way we would easier get extensions "promoted" within the TER as well.
