Formatting, doc updates, and player:leave and join events