docs: fix bootstrap-extension
docs: fix bootstrap-extension
We shouldn't use this extension at all if we're not using the HTML builder. This should hopefully fix this issue a bit more fundamentally.
This caused issues when using the spelling extension, something I do locally from time to time.
Fixes: f72033bb ("docs: add bootstrap extension")