Game server: players are (again) saved every 5 minutes. Inactive sessions are also now timed out more logically, after at least 10s of inactivity. Player-based expirations are also additionally checked every ~30s (why not, but we'll need to implement a proper system eventually...).