Since nobody mentioned it yet: Anon1725's discord account was deleted recently.
It probably means absolutely nothing, but I still wanted to mention it.