4 ms·

Might thought exactly. I wonder if GitHub would change Star to Thanks. Unstar however would become “No thanks”