Today, at approximately 8:50 AM server time, I was busy entering a bug on the bugtracker, about not being able to pay ransom. As I entered the bug, I clicked again to be sure I described correctly which php page I was on.
And the bug was fixed as I was entering its ticket.
Thank you, anonymous bug-fixer.