I often glanced at the Top rated users and this guy named Mifafaovo was almost always on the top. Now he's just gone. But, if you google search the name and then access the profile from the search results you can see that he still has more rating points than everyone else, 3681 points. Was this removed manually for some reason or is this a bug?