I doubt it. I think OP wanted upvotes and didn't read carefully. Something like "tor user de-anonymized via retired app" would of been more accurate.
This is another great lesson that even the best privacy tools can't protect a user from their own bad opsec.
It just sucks as a lot of Lemmy users will just read the title and assume its true and then tell their friends tor is no longer safe.
Honestly if your going to use this, its better to just add the list to ublock, then add another extension which makes your browser more fingerprintable or, better yet, add the list to your pihole or DNS filter service.