@PierreM @skeemore En parlant de vieux trucs… 😜
En novembre 2015, #Twitter a remplacé les #favoris par des #likes, et l'étoile ⭐ associée par un cœur ❤️.
https://blog.twitter.com/official/en_us/a/2015/hearts-on-twitter.html
Et c'est en février 2018 que les marque-pages ont fait leur apparition sur Twitter.
https://blog.twitter.com/official/en_us/topics/product/2018/an-easier-way-to-save-and-share-tweets.html
#twistory_time

Bref, à part que Mastodon a gardé les anciens termes, c'est pareil que Twitter en ce qui concerne les favoris et marque-pages.