Another disabled by default patch. This one fixes (some of) the profile
overview enough that it can show the stats, provided screepsmod-stats is
enabled on the connected server (or it's one of the official ones). I
don't think I fixed leaderboard pages, but it was good enough to show
player stats on the profile.