[bamboleo]

Might thought exactly. I wonder if GitHub would change Star to Thanks.

Unstar however would become “No thanks”