leanblueprint 0.0.20 uses "default" theme nor "blueprint"

Stream: lean4

[Nick Adfor]

INFO: Using theme g:\anaconda3\Lib\site-packages\plasTeX\Renderers\HTML5\Themes\default

GitHub: https://github.com/NickAdfor/The-polynomial-method-and-restricted-sums-of-congruence-classes
Website: https://nickadfor.github.io/The-polynomial-method-and-restricted-sums-of-congruence-classes/

[Nick Adfor]

Detailed error:

WARNING: Could not find any file named: web.bbl
..
INFO: Directing output files to directory: ../web/.
INFO: Importing templates from g:\anaconda3\Lib\site-
   packages\plasTeX\Renderers\PageTemplate
INFO: Importing templates from g:\anaconda3\Lib\site-
   packages\plasTeX\Renderers\HTML5
INFO: Using theme g:\anaconda3\Lib\site-
   packages\plasTeX\Renderers\HTML5\Themes\default