if (this.mode.shows_info && game.player_id in game.things) {
explorer.position = game.things[game.player_id].position;
explorer.query_info();
}
if (this.mode.shows_info && game.player_id in game.things) {
explorer.position = game.things[game.player_id].position;
explorer.query_info();
}