A networked RPG with procedurally generated dungeons