docs: add GitLab pages CI (#549)

Emil Rofors

2023-11-03 a62a97c7abcabea4509760e5af957eed66fa0755

 docs/features/explorer.md

@@ -196,7 +196,7 @@
      }
    }
  },
}})
})
```

### Putting it all together