@AdriGarriga That's a good question; I think it's some of both.
same thread: 1988260847324405859 1988262547691123011 1988276582474219864 1988312391717908835 1988341390867419264 1988341694530809933 1988342248702963852 1988344460313264536 1988345840226762761 1988346220360671571 1988346271070122158 1988374156359225447 1988408853395083680
Reproduced against link rot, credited and linked to its original. Yours and you’d rather it weren’t here? Open an issue.