docs: update type of lvl0

[kai687]

This PR updates the type of lvl0 in the docs. Fix #1856.

[netlify]

‼️ Deploy request for docsearch rejected.

Name	Link
🔨 Latest commit	ad7401e

[shortcuts]

Thanks!!!

[kai687]

Not sure how to fix the failing CI though:

[2/2]: https://yarnpkg.com/downloads/1.22.5/yarn-v1.22.5.tar.gz.asc --> /tmp/yarn.tar.gz.bQYMESdQRA.asc
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100    83  100    83    0     0   3898      0 --:--:-- --:--:-- --:--:--  3952
100    97  100    97    0     0   2107      0 --:--:-- --:--:-- --:--:--  2107
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100   832  100   832    0     0  11281      0 --:--:-- --:--:-- --:--:-- 11281
> Verifying integrity...
curl: (56) OpenSSL SSL_read: Connection reset by peer, errno 104
gpg: no valid OpenPGP data found.
gpg: Total number processed: 0

Exited with code exit status 2

[shortcuts]

Not sure how to fix the failing CI though:

[2/2]: https://yarnpkg.com/downloads/1.22.5/yarn-v1.22.5.tar.gz.asc --> /tmp/yarn.tar.gz.bQYMESdQRA.asc
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100    83  100    83    0     0   3898      0 --:--:-- --:--:-- --:--:--  3952
100    97  100    97    0     0   2107      0 --:--:-- --:--:-- --:--:--  2107
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100   832  100   832    0     0  11281      0 --:--:-- --:--:-- --:--:-- 11281
> Verifying integrity...
curl: (56) OpenSSL SSL_read: Connection reset by peer, errno 104
gpg: no valid OpenPGP data found.
gpg: Total number processed: 0

Exited with code exit status 2

all good! it was an issue on the CircleCI side